 id="module-PathContext" class="anchored"><a href="#module-PathContext" class="anchor"></a><code><span><span class="keyword">module</span> PathContext</span><span> = <a href="../PulsePathContext/index.html">PulsePathContext</a></span></code></div></div><p>Layer on top of <a href="../PulseBaseDomain/index.html"><code>BaseDomain</code></a> to propagate operations on the current state to the pre-condition when necessary</p><p>The abstract type <code>t</code> is a pre/post pair in the style of biabduction.</p><