<span><span class="type-var">_</span> <a href="#type-t0">t0</a></span> <span class="arrow">&#45;&gt;</span></span>
  <a href="../../AbsLoc/LocSet/index.html#type-t">AbsLoc.LocSet.t</a></span></code></div><div class="spec-doc"><p>Get reachable locations from <code>formals</code> and <code>locs</code> when called <code>get_reachable_locs_from formals locs mem</code></p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-add_stack"><a href="#val-add_stack" class="anchor"></a><code><span