Module libunseemly::ty_compare

Structs

Canonicalize

Subtype

Constants

underdetermined_form

unification

Functions

canonicalize

is_subtype

must_equal

must_subtype

resolve

Follow variable references in env and underdeterminednesses in unif until we hit something that can’t move further. TODO #28: could this be replaced by SynthTy? TODO: This doesn’t change env, and none of its clients care. It should just return Ast.