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