xtype">HF</span>]] performed by method ArrowAssoc in scala.Predef.</dd><dt>Definition Classes</dt><dd>ArrowAssoc</dd><dt>Annotations</dt><dd><span class="name">@inline</span><span class="args">()</span> </dd></dl></div></li><li class="indented0 " name="provingground.induction.IterFuncShape#-|&gt;:" group="Ungrouped" fullComment="yes" data-isabs="false" visbl="pub"><a id="-|&gt;:[TT&lt;:provingground.HoTT.Termwithprovingground.HoTT.Subs[TT]](tail:provingground.HoTT.Typ[TT]):provingground.induction.IterFuncSh