</span></span> <span class="symbol"><a href="Scoped$$Cons.html" title=""><span class="name">Cons</span></a><span class="tparams">[<span name="L">L</span>, <span name="S">S</span>]</span><span class="params">(<span name="label">label: <span name="provingground.translation.Scoped.Cons.L" class="extype">L</span></span>, <span name="inner">inner: <a href="Scoped.html" name="provingground.translation.Scoped" id="provingground.translation.Scoped" class="extype">Scoped</a>[<span name="provingground.translation.Sco