pub trait VariableFactory {
    type Variable: Variable;

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

Required Associated Types§

Required Methods§

source

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

Implementations on Foreign Types§

source§

impl VariableFactory for ()

§

type Variable = u32

source§

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

source§

impl VariableFactory for ArcKind

Implementors§