d><td class="def-doc"><span class="comment-delim">(*</span><p>the list of function calls leading to the issue being realised, which is an additional common prefix to the traces in the record</p><span class="comment-delim">*)</span></td></tr><tr id="type-read_uninitialized_value.trace" class="anchored"><td class="def record field"><a href="#type-read_uninitialized_value.trace" class="anchor"></a><code><span>trace : <a href="../PulseTrace/index.html#type-t">Trace.t</a>;</span></code></td><td class="def-doc"><