h3><ol><li class="indented0 " name="provingground.learning.SortList.Cons#&lt;init&gt;" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="&lt;init&gt;(head:provingground.learning.Sort[Z,X],tail:provingground.learning.SortList[U]):provingground.learning.SortList.Cons[Z,X,U]"></a><a id="&lt;init&gt;:Cons[Z,X,U]"></a> <span class="permalink"><a href="../../provingground/learning/SortList$$Cons.html#&lt;init&gt;(head:provingground.learning.Sort[Z,X],tail:provingground.learning.SortList[U])