="RepTerm.html" title="">RepTerm</a></li><li class="current-entities indented2"><a href="ScalaPolyRep$.html" title="" class="object"></a> <a href="ScalaPolyRep.html" title="" class="trait"></a><a href="ScalaPolyRep.html" title="">ScalaPolyRep</a></li><li class="current-entities indented2"><a href="ScalaRep$.html" title="" class="object"></a> <a href="ScalaRep.html" title="Representation by a scala object of a HoTT term" class="trait"></a><a href="ScalaRep.html" title="Representation by a scala object of a H