Expand description
Routines to check for relations between fully inferred types.
FIXME: Move this to a more general place. The utility of this extends to other areas of the compiler as well.
Functionsยง
- relate_
types - Returns whether
src
is a subtype ofdest
, i.e.src <: dest
. - sub_
types - Returns whether
src
is a subtype ofdest
, i.e.src <: dest
.