../IBase/Location/index.html#type-t">IBase.Location.t</a>;</code></td></tr><tr id="type-err_instance.over_annotated_violation" class="anchored"><td class="def field"><a href="#type-err_instance.over_annotated_violation" class="anchor"></a><code>over_annotated_violation : <a href="../OverAnnotatedRule/index.html#type-violation">OverAnnotatedRule.violation</a>;</code></td></tr><tr id="type-err_instance.violation_type" class="anchored"><td class="def field"><a href="#type-err_instance.violation_type" class="an