laTerm</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="ScalaRep$$SigmaRep.html" title="" class="class"></a><a href="ScalaRep$$SigmaRep.html" title="">SigmaRep</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="ScalaRep$$SimpleConst.html" title="scala object wrapped to give a HoTT constant with type declared." class="class"></a><a href="ScalaRep$$SimpleConst.html" title="scala object wrapped to give a HoTT constant with type declare