n><span class="result">: <a href="../HoTT$$FuncTyp.html" name="provingground.HoTT.FuncTyp" id="provingground.HoTT.FuncTyp" class="extype">FuncTyp</a>[<span name="provingground.HoTT.Typ.-&gt;:.W" class="extype">W</span>, <span name="provingground.HoTT.Typ.-&gt;:.UU" class="extype">UU</span>]</span></span><p class="shortcomment cmt">function type:  <code>this -&gt; that</code>
</p><div class="fullcomment"><div class="comment cmt"><p>function type:  <code>this -&gt; that</code>
</p></div><dl class="attributes 