class uvarLogicPrinterClass : subst -> <a href="Logic.logicPrinter.html">logicPrinter</a>
subst
<a href="Logic.logicPrinter.html">logicPrinter</a>