Module ena::unify
[−]
[src]
Structs
Snapshot |
At any time, users may snapshot a unification table. The changes made during the snapshot may either be committed or rolled back. |
UnificationTable |
Table of unification keys and their values. |
UnionedKeys |
//////////////////////////////////////////////////////////////////////// Iterator over keys that have been unioned together |
Traits
UnifyKey |
This trait is implemented by any type that can serve as a type
variable. We call such variables unification keys. For example,
this trait is implemented by |
UnifyValue |