es indented2"><span class="separator"></span> <a href="HoTT$$DepFunc.html" title="a dependent function - rarely used trait as not closed under substitution." class="trait"></a><a href="HoTT$$DepFunc.html" title="a dependent function - rarely used trait as not closed under substitution.">DepFunc</a></li><li class="current-entities indented2"><span class="separator"></span> <a href="HoTT$$DepFuncDefn.html" title="A dependent function defined by a scala funcion" class="class"></a><a href="HoTT$$DepFuncDefn.htm