nd.scalahott" class="extype">scalahott</a></dd></dl></div></li><li class="current-entities indented3"><span class="separator"></span> <a href="ScalaUniv$$DepFunc$.html" title="Companion to dependent functions" class="object"></a><a href="ScalaUniv$$DepFunc$.html" title="Companion to dependent functions">DepFunc</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="" title="Symbolic types, which the compiler knows are types." class="class"></a><a href="" title="Symbolic type