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