href="../HoTT$$Typ.html" name="provingground.HoTT.Typ" id="provingground.HoTT.Typ" class="extype">Typ</a>[<a href="#IterFunc=provingground.HoTT.Func[O,C]" name="provingground.induction.IterFuncPtnMap.IdIterPtnMap.IterFunc" id="provingground.induction.IterFuncPtnMap.IdIterPtnMap.IterFunc" class="extmbr">IterFunc</a>]</span></span></li><li class="indented0 " name="scala.AnyRef#ne" group="Ungrouped" fullComment="yes" data-isabs="false" visbl="pub"><a id="ne(x$1:AnyRef):Boolean"></a><a id="ne(AnyRef):Boolean"><