"provingground.HoTT.Term" class="extype">Term</a> with <a href="../../HoTT$$Subs.html" name="provingground.HoTT.Subs" id="provingground.HoTT.Subs" class="extype">Subs</a>[<span name="provingground.induction.coarse.ConstructorSeq.inducFn.H" class="extype">H</span>]</span>]</span><span class="params">(<span name="cs">cs: <a href="../../../scala/index.html#List[+A]=List[A]" name="scala.List" id="scala.List" class="extmbr">List</a>[<a href="Constructor.html" name="provingground.induction.coarse.Constructor" id=