Trait trivial_kernel::stream::statement::StatementStream[−][src]

pub trait StatementStream: Iterator where
    Self::Item: TryInto<Opcode>, {
    type ProofStream: Iterator<Item = Command<Proof>>;
    fn take_proof_stream(&mut self) -> Self::ProofStream;

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

Associated Types

type ProofStream: Iterator<Item = Command<Proof>>[src]

Loading content...

Required methods

fn take_proof_stream(&mut self) -> Self::ProofStream[src]

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

Loading content...

Implementors

Loading content...