"../../../index.html">read-dwarf</a> &#x00BB; <a href="../../index.html">Trace</a> &#x00BB; <a href="../index.html">Base</a> &#x00BB; SimpContext</nav><h1>Module <code>Base.SimpContext</code></h1><p>A instance of <a href="../../../Z3/ContextCounter/index.html"><code>Z3.ContextCounter</code></a>.</p></header><dl><dt class="spec value" id="val-counter"><a href="#val-counter" class="anchor"></a><code><span class="keyword">val</span> counter : <a href="../../../Utils/Counter/index.html#type-t">Utils.Counter.t</