Module gluon_check::unify [−][src]
Structs
UnifierState |
Enums
Error |
Traits
GenericVariant | |
Unifiable |
A type which can be unified by checking for equivalence between the top level of
two instances of the type and then recursively calling into the |
Unifier |
A |
Functions
unify |
Unify |