= <a href="../Sarifbug_t/index.html#type-trace_loc">Sarifbug_t.trace_loc</a></span><span> = </span><span>{</span></code><ol><li id="type-trace_loc.physicalLocation" class="def record field anchored"><a href="#type-trace_loc.physicalLocation" class="anchor"></a><code><span>physicalLocation : <a href="#type-physicalloc">physicalloc</a>;</span></code></li><li id="type-trace_loc.message" class="def record field anchored"><a href="#type-trace_loc.message" class="anchor"></a><code><span>message : <a href="#type-m