itle="">ListType</a></li><li class="current-entities indented2"><span class="separator"></span> <a href="MatrixTypes$.html" title="" class="object"></a><a href="MatrixTypes$.html" title="">MatrixTypes</a></li><li class="current-entities indented2"><span class="separator"></span> <a href="NatRing$.html" title="" class="object"></a><a href="NatRing$.html" title="">NatRing</a></li><li class="current-entities indented2"><span class="separator"></span> <a href="NatTypLong$.html" title="" class="object"></a><a hr