ProofChecker
val checkClosedProg : ProofAst.program -> bool check that the given program represents a correct proof.
val checkClosedProg : ProofAst.program -> bool
fun checkClosedProg p : ProofAst.program -> bool
p