ovingground.HoTT.Termwithprovingground.HoTT.Subs[ConstructorSeq.this.InducType]" name="provingground.induction.coarse.ConstructorSeq.InducType" id="provingground.induction.coarse.ConstructorSeq.InducType" class="extmbr">InducType</a></span></span></li><li class="indented0 " name="scala.Any#isInstanceOf" group="Ungrouped" fullComment="yes" data-isabs="false" visbl="pub"><a id="isInstanceOf[T0]:Boolean"></a> <span class="permalink"><a href="../../../provingground/induction/coarse/ConstructorSeq$.html#isInstan