Language.SMTLib2.Internals.Proof
data ProofResult e
data Proof r e p
verifyProof
renderProof
renderProof'
renderProofResult
mapProof