Type bounds >: lo <: hi
Compute hashcode relative to enclosing binders
The non-alias type bounds type with given bounds
Equality used for hash-consing; uses
eq on all recursive invocations,
except where a BindingType is involved. The latter demand a deep isomorphism check.
this isomorphic to
that, assuming pairs of matching binders
It is assumed that
hash of this type the same for all possible sequences of enclosing binders?
The type to which this proxy forwards operations.