f a function given by a definition and representations for domain and codomain.">ExtendedFunction</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="ScalaRep$$FmlyReps.html" title="implicit class associated to a type family to create dependent functions scalareps." class="class"></a><a href="ScalaRep$$FmlyReps.html" title="implicit class associated to a type family to create dependent functions scalareps.">FmlyReps</a></li><li class="current-entities indented3"><span cla