qtil
advanced-security/qtil-csharp 0.0.3
Search

Member predicate Unification::ConstrainedTypeParameter::unifiable

Holds if this type parameter is unifiable with type t.

Note: This predicate is inlined.

predicate unifiable(Type t)