t:Context"></a> <span class="permalink"><a href="../provingground/Context$.html" title="Permalink"><i class="material-icons"></i></a></span> <span class="modifier_kind"><span class="modifier"></span> <span class="kind">object</span></span> <span class="symbol"><a href="Context$.html" title=""><span class="name">Context</span></a></span><div class="fullcomment"><dl class="attributes block"><dt>Definition Classes</dt><dd><a href="index.html" name="provingground" id="provingground" class="extype">provinggro