Module compare_types 

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 of dest, i.e. src <: dest.

sub_types

Returns whether src is a subtype of dest, i.e. src <: dest.