</span> <span class="symbol"><span class="name">init</span><span class="result">: <a href="NestedDoc.html" name="provingground.translation.NestedDoc" id="provingground.translation.NestedDoc" class="extype">NestedDoc</a>[<span name="provingground.translation.NestedDoc.RecBlockDoc.T" class="extype">T</span>]</span></span><div class="fullcomment"><dl class="attributes block"><dt>Definition Classes</dt><dd><a href="NestedDoc$$RecDoc.html" name="provingground.translation.NestedDoc.RecDoc" id="provingground.trans