Enum proto_vulcan::lterm::LTermInner [−][src]
pub enum LTermInner<U, E> where
U: User,
E: Engine<U>, {
Val(LValue),
Var(VarID, &'static str),
User(<U as User>::UserTerm),
Empty,
Cons(LTerm<U, E>, LTerm<U, E>),
Projection(LTerm<U, E>),
Compound(Rc<dyn CompoundObject<U, E>>),
}
Expand description
Logic Term.
Variants
Val(LValue)
Literal value
Tuple Fields of Val
0: LValue
Variable (uid, name)
Non-empty list
Projection(LTerm<U, E>)
Tuple Fields of Projection
0: LTerm<U, E>
Compound(Rc<dyn CompoundObject<U, E>>)
Tuple Fields of Compound
0: Rc<dyn CompoundObject<U, E>>
Trait Implementations
Performs the conversion.
Performs the conversion.
Performs the conversion.
Auto Trait Implementations
impl<U, E> !RefUnwindSafe for LTermInner<U, E>
impl<U, E> !Send for LTermInner<U, E>
impl<U, E> !Sync for LTermInner<U, E>
impl<U, E> Unpin for LTermInner<U, E> where
<U as User>::UserTerm: Unpin,
impl<U, E> !UnwindSafe for LTermInner<U, E>
Blanket Implementations
Mutably borrows from an owned value. Read more