cRaised</span></span></code><div class="def-doc"><span class="comment-delim">(*</span><p>Memory of node that can be reachable only with exception raises that we want to ignore</p><span class="comment-delim">*)</span></div></li><li id="type-t0.Reachable" class="def variant constructor anchored"><a href="#type-t0.Reachable" class="anchor"></a><code><span>| </span><span><span class="constructor">Reachable</span> <span class="keyword">of</span> <span><span class="type-var">'has_oenv</span> <a href="../MemReach/