Module gluon_check::unify_type[−][src]

Structs

Instantiation
State

Enums

Size
TypeError

Functions

equal
instantiation
similarity_filter
smaller
subsumes

Performs subsumption between l and r (r is-a l)

subsumes_implicit
subsumes_no_subst

Type Definitions

Error
Result
UnifierState