</div><div id="template"><div id="allMembers"><div id="constructors" class="members"><h3>Instance Constructors</h3><ol><li class="indented0 " name="provingground.induction.IndexedIterFuncShape.FuncShape#&lt;init&gt;" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="&lt;init&gt;(head:provingground.HoTT.Typ[TT],tail:provingground.induction.IndexedIterFuncShape[H,TF,Fb,Index])(implicitevidence$7:provingground.TermList[Index]):provingground.induction.IndexedIterFuncShape.FuncShape[TT,TF,