pendent functions, is a scala function, but the apply is not directly defined - instead the method FuncLike#act is defined.">FuncLike</a></li><li class="current-entities indented2"><span class="separator"></span> <a href="HoTT$$FuncTyp.html" title="Function type - pure, not dependent." class="class"></a><a href="HoTT$$FuncTyp.html" title="Function type - pure, not dependent.">FuncTyp</a></li><li class="current-entities indented2"><span class="separator"></span> <a href="HoTT$$GenFuncTyp.html" title="Possibl