O]" name="provingground.induction.IterFuncPtnMap.IdIterPtnMap.FamilyType" id="provingground.induction.IterFuncPtnMap.IdIterPtnMap.FamilyType" class="extmbr">FamilyType</a></span>, <span name="x">x: <a href="../HoTT$$Typ.html" name="provingground.HoTT.Typ" id="provingground.HoTT.Typ" class="extype">Typ</a>[<a href="#Cod=C" name="provingground.induction.IterFuncPtnMap.IdIterPtnMap.Cod" id="provingground.induction.IterFuncPtnMap.IdIterPtnMap.Cod" class="extmbr">Cod</a>]</span>)</span><span class="result">: <a 