Trait mmb_parser::visitor::UnifyStream[−][src]

pub trait UnifyStream {
    type Command: From<Command<Unify>>;
    fn push(&mut self, command: Self::Command);

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

Associated Types

type Command: From<Command<Unify>>[src]

Loading content...

Required methods

fn push(&mut self, command: Self::Command)[src]

fn done(&self) -> (usize, usize)[src]

Loading content...

Implementors

Loading content...