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)

Dyn Compatibility

This trait is dyn compatible.

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

Implementors