[−][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