Member predicate Impl::Operation::isOverloaded
Holds if this operation is overloaded to the method methodName of the
trait trait.
predicate isOverloaded(Trait trait, string methodName, int borrows)Holds if this operation is overloaded to the method methodName of the
trait trait.
predicate isOverloaded(Trait trait, string methodName, int borrows)