Up
–
qed
»
Qed
» Pretty
Module
Qed.Pretty
Pretty Printer for Qed Output.
module
Make
(
T
:
Logic.Term
) :
sig
...
end