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