"../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Pulselib</a> &#x00BB; <a href="../index.html">PulseAbstractValue</a> &#x00BB; State</nav><h1>Module <code>PulseAbstractValue.State</code></h1><p>internal state of the module</p><p>Under the hood a &quot;next fresh&quot; reference counter is maintained to produce fresh <code>t</code>. The <code>Constants</code> module also remembers a mapping from certain constants to their corresponding <code>t</code>. Both of these should be per-procedure 