me="scala.&lt;:&lt;" class="extype">&lt;:&lt;</span>[<span name="provingground.induction.TypObj.T" class="extype">T</span>, <a href="../HoTT$$Typ.html" name="provingground.HoTT.Typ" id="provingground.HoTT.Typ" class="extype">Typ</a>[<span name="provingground.induction.TypObj.C" class="extype">C</span>]]</span>)</span></span></li></ol></div><div class="values members"><h3>Value Members</h3><ol><li class="indented0 " name="scala.AnyRef#!=" group="Ungrouped" fullComment="yes" data-isabs="false" visbl="pub"><a 