lasses</dt><dd>AnyRef</dd><dt>Annotations</dt><dd><span class="name">@throws</span><span class="args">(<span><span class="defval">classOf[java.lang.InterruptedException]</span></span>)</span> </dd></dl></div></li><li class="indented0 " name="provingground.induction.ConstructorSeqTL#|:" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="|:[S&lt;:shapeless.HList,ConstructorType&lt;:provingground.HoTT.Termwithprovingground.HoTT.Subs[ConstructorType]](head:provingground.induction.Construct