Predicate Unification::subsumes

Holds if type t1 subsumes type t2. That is, it is possible to replace all type parameters in t1 with some (other) types to make the two types equal.

The same limitations that apply to the predicate unifiable() apply to this predicate as well.

Note: This predicate is inlined.