Module gluon_check::unify_type

Structs

State

Enums

Size
TypeError

Functions

equal
similarity_filter
smaller
subsumes	Performs subsumption between l and r (r is-a l)
subsumes_implicit
subsumes_no_subst

Type Definitions

Error
Result
UnifierState