span class="comment-delim">(*</span><p>assuming we are in the calling context, the trace leads to read of the uninitialized value</p><span class="comment-delim">*)</span></td></tr></table><code><span>}</span></code></div></div><div class="odoc-spec"><div class="spec value" id="val-compare_read_uninitialized_value" class="anchored"><a href="#val-compare_read_uninitialized_value" class="anchor"></a><code><span><span class="keyword">val</span> compare_read_uninitialized_value : 
  <span><a href="#type-read_uni