Module gluon_check::substitution [−][src]
Structs
Specialized union implementation which makes sure that variables with a higher level always point to the lower level variable.
Enums
Traits
Trait implemented on types which may contain substitutable variables
Trait which variables need to implement to allow the substitution to get to the u32 identifying the variable