contains
Answer true if this TypeRestriction contains every possible element of the given type.
Return
True iff every instance of testType is a member of this TypeRestriction.
Parameters
test
The type to test is subsumed by this TypeRestriction.