class type logicPrinter =A printer interface for Logic trees. Create instantiations of this type by specializing the classobject
..end
Logic.defaultLogicPrinterClass
. Each
method returns None if it wants the default printing (actually, that of
the superclass)method pExp : exp -> Pretty.doc option
method pPred : pred -> Pretty.doc option