Enum dedukti_parse::parse::Term [−][src]
pub enum Term<S> { Symb(Vec<S>, S), Appl(Box<Term<S>>, Vec<Term<S>>), Abst(S, Option<Box<Term<S>>>, Box<Term<S>>), Prod(Option<S>, Box<Term<S>>, Box<Term<S>>), }
Variants
Symb(Vec<S>, S)
Trait Implementations
Auto Trait Implementations
impl<S> RefUnwindSafe for Term<S> where
S: RefUnwindSafe,
impl<S> UnwindSafe for Term<S> where
S: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more