></code></li><li id="type-jsonbug.hash" class="def record field anchored"><a href="#type-jsonbug.hash" class="anchor"></a><code><span>hash : string;</span></code></li><li id="type-jsonbug.dotty" class="def record field anchored"><a href="#type-jsonbug.dotty" class="anchor"></a><code><span>dotty : <span>string option</span>;</span></code></li><li id="type-jsonbug.infer_source_loc" class="def record field anchored"><a href="#type-jsonbug.infer_source_loc" class="anchor"></a><code><span>infer_source_loc : <spa