[−][src]Module gluon_check::unify_type
Structs
State |
Enums
Size | |
TypeError |
Functions
equal | |
similarity_filter | |
smaller | |
subsumes | Performs subsumption between |
subsumes_implicit | |
subsumes_no_subst |
Type Definitions
Error | |
Result | |
UnifierState |
State |
Size | |
TypeError |
equal | |
similarity_filter | |
smaller | |
subsumes | Performs subsumption between |
subsumes_implicit | |
subsumes_no_subst |
Error | |
Result | |
UnifierState |