class infixLogicPrinterClass : <a href="Logic.logicPrinter.html">logicPrinter</a>
<a href="Logic.logicPrinter.html">logicPrinter</a>