ss="kind">def</span></span> <span class="symbol"><span class="name">export</span><span class="result">: (<a href="Scoped.html" name="provingground.translation.Scoped" id="provingground.translation.Scoped" class="extype">Scoped</a>[<span name="provingground.translation.NestedDoc.RecBlockDoc.T" class="extype">T</span>]) =&gt; <a href="Scoped.html" name="provingground.translation.Scoped" id="provingground.translation.Scoped" class="extype">Scoped</a>[<span name="provingground.translation.NestedDoc.RecBlockDoc.