Class type Logic.logicPrinter


class type logicPrinter = object .. end
A printer interface for Logic trees. Create instantiations of this type by specializing the class Logic.defaultLogicPrinterClass. Each method returns None if it wants the default printing (actually, that of the superclass)

method pExp : exp -> Pretty.doc option
Invoked for each expression. If it return None, it defaults to the default printer.
method pPred : pred -> Pretty.doc option
Invoked for each predicate