Trait mmb_parser::visitor::UnifyStream

pub trait UnifyStream {
    fn push(&mut self, command: Command<Unify>);
    fn done(&self) -> (usize, usize);
}

Required methods

fn push(&mut self, command: Command<Unify>)

fn done(&self) -> (usize, usize)

Loading content...

Implementors

Loading content...