on" class="def record field anchored"><a href="#type-error_desc.suggestion" class="anchor"></a><code><span>suggestion : <span>string option</span>;</span></code></li><li id="type-error_desc.tags" class="def record field anchored"><a href="#type-error_desc.tags" class="anchor"></a><code><span>tags : <a href="Tags/index.html#type-t">Tags.t</a>;</span></code></li><li id="type-error_desc.dotty" class="def record field anchored"><a href="#type-error_desc.dotty" class="anchor"></a><code><span>dotty : <span>string