ec type anchored" id="type-eval_sym_trace"><a href="#type-eval_sym_trace" class="anchor"></a><code><span><span class="keyword">type</span> eval_sym_trace</span><span> = </span><span>{</span></code><ol><li id="type-eval_sym_trace.eval_sym" class="def record field anchored"><a href="#type-eval_sym_trace.eval_sym" class="anchor"></a><code><span>eval_sym : <a href="../Bounds/Bound/index.html#type-eval_sym">Bounds.Bound.eval_sym</a>;</span></code><div class="def-doc"><span class="comment-delim">(*</span><p>evalu