Trait StatementStream 

pub trait StatementStream: Iterator
where
    <Self as Iterator>::Item: TryInto<Opcode>,
{
    type ProofStream: Iterator<Item = Command<Proof>>;

    // Required methods
    fn take_proof_stream(&mut self) -> Option<Self::ProofStream>;
    fn put_proof_stream(&mut self, proofs: Self::ProofStream);
}

Required Associated Types

type ProofStream: Iterator<Item = Command<Proof>>

Required Methods

fn take_proof_stream(&mut self) -> Option<Self::ProofStream>

fn put_proof_stream(&mut self, proofs: Self::ProofStream)

Implementors