Trait mmb_parser::visitor::ProofStream

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

Required methods

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

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

Loading content...

Implementors

Loading content...