Class Logic.uvarLogicPrinterClass


class uvarLogicPrinterClass : subst -> logicPrinter