ss="keyword">end</span></span></code></div><div class="spec-doc"><p><code>CoreVal</code> is similar to <code>Val</code>, but its compare function is defined only on core parts, interval, pointers, and array blocks, of abstract value. This domain is to keep pruned values, where we do not need to care about the other fields in the abstract values.</p></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-PruningExp"><a href="#module-PruningExp" class="anchor"></a><code><span><span cla