>Protected</span></li></ol></div></div></div><div id="template"><div id="allMembers"><div id="types" class="types members"><h3>Type Members</h3><ol><li class="indented0 " name="provingground.induction.coarse.ConstructorSeq.Cons" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="Cons[C&lt;:provingground.HoTT.Termwithprovingground.HoTT.Subs[C],H&lt;:provingground.HoTT.Termwithprovingground.HoTT.Subs[H]]extendsConstructorSeq[C,H]withProductwithSerializable"></a><a id="Cons[C&lt;:Termwith