Enum dedukti_parse::parse::Term [−][src]
Variants
Symb(Vec<S>, S)
Tuple Fields of Symb
0: Vec<S>
1: S
Implementations
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