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

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

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

Associated Types

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

Loading content...

Required methods

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

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

Loading content...

Implementors

Loading content...