Module gluon_check::substitution

Structs

Substitution

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