Trait proto_vulcan::compound::CompoundTerm

pub trait CompoundTerm<U, E> where
    U: User,
    E: Engine<U>,
    Self: CompoundObject<U, E> + Sized, {
    fn new_var(name: &'static str) -> Self;
    fn new_wildcard() -> Self;
    fn new_none() -> Self;
}

Required methods

fn new_var(name: &'static str) -> Self

fn new_wildcard() -> Self

fn new_none() -> Self

Implementors

impl<U, E> CompoundTerm<U, E> for LTerm<U, E> where
    U: User,
    E: Engine<U>,