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