anchor"></a><code><span>level : int;</span></code></li><li id="type-json_trace_item.filename" class="def record field anchored"><a href="#type-json_trace_item.filename" class="anchor"></a><code><span>filename : string;</span></code></li><li id="type-json_trace_item.line_number" class="def record field anchored"><a href="#type-json_trace_item.line_number" class="anchor"></a><code><span>line_number : int;</span></code></li><li id="type-json_trace_item.column_number" class="def record field anchored"><a href="