pper for universe with refined scala type for objects (i.e., types) in it." class="class"></a><a href="ScalaUniv.html" title="Wrapper for universe with refined scala type for objects (i.e., types) in it.">ScalaUniv</a></li><li class="current-entities indented2"><span class="separator"></span> <a href="ScalaVec.html" title="" class="class"></a><a href="ScalaVec.html" title="">ScalaVec</a></li><li class="current-entities indented2"><span class="separator"></span> <a href="SigmaPiEnum$.html" title="" class="ob