.HoTT.Subs[ConstructorSeq.this.RecType]" name="provingground.induction.coarse.ConstructorSeq.RecType" id="provingground.induction.coarse.ConstructorSeq.RecType" class="extmbr">RecType</a></span></span></li><li class="indented0 " name="scala.AnyRef#synchronized" group="Ungrouped" fullComment="yes" data-isabs="false" visbl="pub"><a id="synchronized[T0](x$1:=&gt;T0):T0"></a><a id="synchronized[T0](=&gt;T0):T0"></a> <span class="permalink"><a href="../../../provingground/induction/coarse/ConstructorSeq$.html#sy