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
| InfallibleUnifyValue |
Marker trait which indicates that |
| 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 |