Trait gluon_base::types::Substitution

pub trait Substitution<Id, T>: TypeContext<Id, T> where
    T: TypePtr<Id = Id>, {
    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

Loading content...

Implementors

Loading content...