Member predicate Type::Type::refersTo

Holds if this type refers to type t (by default, a type always refers to itself).

predicate refersTo(Type t)