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