ent_traces : <span><a href="../PulseTrace/index.html#type-t">Trace.t</a> list</span>;</span></code></td></tr><tr id="type-t.value" class="anchored"><td class="def record field"><a href="#type-t.value" class="anchor"></a><code><span>value : <a href="../PulseDecompilerExpr/index.html#type-t">DecompilerExpr.t</a>;</span></code></td></tr><tr id="type-t.path" class="anchored"><td class="def record field"><a href="#type-t.path" class="anchor"></a><code><span>path : <a href="../PulseDecompilerExpr/index.html#type-