epFunction.html" title="formal extension of a dependent function." class="class"></a><a href="ScalaRep$$ExtendedDepFunction.html" title="formal extension of a dependent function.">ExtendedDepFunction</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="ScalaRep$$ExtendedFunction.html" title="Formal extension of a function given by a definition and representations for domain and codomain." class="class"></a><a href="ScalaRep$$ExtendedFunction.html" title="Formal extension o