i></ul></div></div><div id="content"><body class="package value"><div id="definition"><div class="big-circle package">p</div><h1>provingground<span class="permalink"><a href="../provingground/index.html" title="Permalink"><i class="material-icons"></i></a></span></h1></div><h4 id="signature" class="signature"><span class="modifier_kind"><span class="modifier"></span> <span class="kind">package</span></span> <span class="symbol"><span class="name">provingground</span></span></h4><div id="comment" class="f