Module gluon_check::unify_type

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 Aliases

• Error
• Result
• UnifierState