href="Scoped$$Outer.html" title=""><span class="name">Outer</span></a><span class="tparams">[<span name="S">S</span>]</span><span class="params">(<span name="body">body: <span name="provingground.translation.Scoped.Outer.S" class="extype">S</span></span>)</span><span class="result"> extends <a href="Scoped.html" name="provingground.translation.Scoped" id="provingground.translation.Scoped" class="extype">Scoped</a>[<span name="provingground.translation.Scoped.Outer.S" class="extype">S</span>] with <span name