ndition" class="def record field anchored"><a href="#type-t.path_condition" class="anchor"></a><code><span>path_condition : <a href="../PulseFormula/index.html#type-t">Pulselib.PulseBasicInterface.Formula.t</a>;</span></code><div class="def-doc"><span class="comment-delim">(*</span><p>arithmetic facts true along the path (holding for both <code>pre</code> and <code>post</code> since abstract values are immutable)</p><span class="comment-delim">*)</span></div></li><li id="type-t.decompiler" class="def record