[−][src]Trait gluon_check::substitution::Variable
Trait which variables need to implement to allow the substitution to get to the u32 identifying the variable
Trait which variables need to implement to allow the substitution to get to the u32 identifying the variable
impl Variable for u32
[src]impl Variable for TypeVariable
[src]