Trait gluon_check::substitution::VariableFactory
source · pub trait VariableFactory {
type Variable: Variable;
// Required method
fn new(&self, x: u32) -> Self::Variable;
}
pub trait VariableFactory {
type Variable: Variable;
// Required method
fn new(&self, x: u32) -> Self::Variable;
}