Trait gluon_check::substitution::VariableFactory

pub trait VariableFactory {
    type Variable: Variable;

    // Required method
    fn new(&self, x: u32) -> Self::Variable;
}

Required Associated Types

type Variable: Variable

Required Methods

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

Implementations on Foreign Types

impl VariableFactory for ()

type Variable = u32

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

impl VariableFactory for ArcKind

type Variable = TypeVariable

fn new(&self, id: u32) -> TypeVariable

Implementors