eHistory.t</a>)</span></span></code></div><div class="spec-doc"><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></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-fold_edges"><a href="#val-fold_edges" class="anchor"></a><code><span><span class="keyword">val</span> fold_edges : 
  <span><a href="../../PulseAbstractValue/index.html#type