[−][src]Module gluon_check::substitution
Structs
Level | |
Snapshot | |
Substitution | |
UnionByLevel | Specialized union implementation which makes sure that variables with a higher level always point to the lower level variable. |
Enums
Error |
Traits
Substitutable | Trait implemented on types which may contain substitutable variables |
Variable | Trait which variables need to implement to allow the substitution to get to the u32 identifying the variable |
VariableFactory |
Functions
is_variable_unified | |
occurs |