itle="constant  term.">ConstTerm</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="ScalaRep$$DepFuncRep.html" title="Formal extendsion of a dependent function given scalareps for the domain and codomains." class="class"></a><a href="ScalaRep$$DepFuncRep.html" title="Formal extendsion of a dependent function given scalareps for the domain and codomains.">DepFuncRep</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="ScalaRep$$ExtendedD