inkuire-engine/org.virtuslab.inkuire.engine.impl.service/SubstitutionMatchService/TypeOps

TypeOps

implicit implicit class TypeOps(sgn: Signature)
class Object
trait Matchable
class Any

Value members

Concrete methods

def canSubstituteFor(supr: Signature): Boolean