Returns the greatest subtype of both types.
Unfold a pair of types into their greatest lower-bound.
Returns whether two types have identical structure.
Whether a type is bottom
.
Whether x
is a subtype of y
.
Whether a type is top
.
Returns the smallest supertype of both types.
Returns the PrimaryType
of the given type, if exists.
NB: This is structural equality and ignores semantics, for most use-cases the equality implied by the subtyping partial order is more useful.
NB: This is structural equality and ignores semantics, for most use-cases the equality implied by the subtyping partial order is more useful.