e></dt><dd><p><code>eval_edge (addr,hist) access astate</code> follows the edge <code>addr --access--&gt; .</code> in memory and returns what it points to or creates a fresh value if that edge didn't exist.</p></dd></dl><dl><dt class="spec value" id="val-find_opt"><a href="#val-find_opt" class="anchor"></a><code><span class="keyword">val</span> find_opt : <a href="../../Pulselib/PulseAbstractValue/index.html#type-t">Pulselib.PulseBasicInterface.AbstractValue.t</a> <span>&#45;&gt;</span> <a href="../index.ht