Trait ProofStream 

pub trait ProofStream {
    // Required methods
    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)

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors