qtil
advanced-security/qtil-csharp 0.0.3
Search

Member predicate Unification::ConstrainedTypeParameter::subsumes

Holds if this type parameter subsumes type t

Note: This predicate is inlined.

predicate subsumes(Type t)