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

• is_equal_up_to_subtyping
  Returns whether the two types are equal up to subtyping.
• relate_types
  Returns whether src is a subtype of dest, i.e. src <: dest.