[−][src]Trait gluon_check::substitution::VariableFactory

pub trait VariableFactory {
    type Variable: Variable;
    fn new(&self, x: u32) -> Self::Variable;
}

Associated Types

`type Variable: Variable`

Loading content...

Required methods

`fn new(&self, x: u32) -> Self::Variable`

Loading content...

Implementations on Foreign Types

`impl VariableFactory for ()`[src]

`type Variable = u32`

`fn new(&self, x: u32) -> Self::Variable`[src]

`impl VariableFactory for ArcKind`[src]

`type Variable = TypeVariable`

`fn new(&self, id: u32) -> TypeVariable`[src]

Loading content...

Implementors

Loading content...