Trait proto_vulcan::compound::WalkStar

pub trait WalkStar<U, E> where
    U: User,
    E: Engine<U>, {
    fn walk_star(&self, smap: &SMap<U, E>) -> LTerm<U, E>;
}

Required methods

fn walk_star(&self, smap: &SMap<U, E>) -> LTerm<U, E>

Implementors

impl<U, E, T> WalkStar<U, E> for T where
    U: User,
    E: Engine<U>,
    T: CompoundWalkStar<U, E> + Into<LTerm<U, E>>,