f="HoTT$$FuncDefn.html" title="A function defined by a scala function" class="class"></a><a href="HoTT$$FuncDefn.html" title="A function defined by a scala function">FuncDefn</a></li><li class="current-entities indented2"><span class="separator"></span> <a href="HoTT$$FuncLike.html" title="Terms that are functions or dependent functions, is a scala function, but the apply is not directly defined - instead the method FuncLike#act is defined." class="trait"></a><a href="HoTT$$FuncLike.html" title="Terms that 