summaryrefslogtreecommitdiff
path: root/plugins/decl_mode/ppdecl_proof.mli
blob: fd6fb663762f9885903bc944ed3dda523761ce52 (plain)
1
2

val pr_proof_instr : Environ.env -> Decl_expr.proof_instr -> Pp.std_ppcmds