Trait gluon_base::types::Substitution

pub trait Substitution<Id, T>: TypeContext<Id, T>where
    T: TypePtr<Id = Id>,{
    // Required methods
    fn new_var(&mut self) -> T;
    fn new_skolem(&mut self, name: Id, kind: ArcKind) -> T;
}

Required Methods

fn new_var(&mut self) -> T

fn new_skolem(&mut self, name: Id, kind: ArcKind) -> T

Implementors