Trait rsmt2::parse::ProofParser
source · [−]pub trait ProofParser<Proof, Input>: Copy {
fn parse_proof(self, i: Input) -> SmtRes<Proof>;
}
Expand description
Can parse proofs. Currenly unused.
For more information refer to the module-level documentation.
Required Methods
fn parse_proof(self, i: Input) -> SmtRes<Proof>
fn parse_proof(self, i: Input) -> SmtRes<Proof>
Parses a proof.