ating symbol</p><span class="comment-delim">*)</span></div></li><li id="type-eval_sym_trace.eval_locpath" class="def record field anchored"><a href="#type-eval_sym_trace.eval_locpath" class="anchor"></a><code><span>eval_locpath : <a href="../AbsLoc/PowLoc/index.html#type-eval_locpath">AbsLoc.PowLoc.eval_locpath</a>;</span></code><div class="def-doc"><span class="comment-delim">(*</span><p>evaluating path</p><span class="comment-delim">*)</span></div></li><li id="type-eval_sym_trace.eval_func_ptrs" class="de