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

Object Safety

This trait is not object safe.

Implementors