.html" name="provingground" id="provingground" class="extype">provingground</a>.<a href="index.html" name="provingground.translation" id="provingground.translation" class="extype">translation</a>.<a href="NestedDoc$.html" name="provingground.translation.NestedDoc" id="provingground.translation.NestedDoc" class="extype">NestedDoc</a></p><h1>RecBlockDoc<span class="permalink"><a href="../../provingground/translation/NestedDoc$$RecBlockDoc.html" title="Permalink"><i class="material-icons"></i></a></span></h