f="../../provingground/induction/IterFuncPtnMap$$IdIterPtnMap.html#iterFuncTyp(w:IdIterPtnMap.this.FamilyType,x:provingground.HoTT.Typ[IdIterPtnMap.this.Cod]):provingground.HoTT.Typ[IdIterPtnMap.this.IterFunc]" title="Permalink"><i class="material-icons"></i></a></span> <span class="modifier_kind"><span class="modifier"></span> <span class="kind">def</span></span> <span class="symbol"><span class="name">iterFuncTyp</span><span class="params">(<span name="w">w: <a href="#FamilyType=provingground.HoTT.Typ[