instance.assignment_violation" class="anchor"></a><code>assignment_violation : <a href="../AssignmentRule/index.html#type-violation">AssignmentRule.violation</a>;</code></td></tr><tr id="type-err_instance.assignment_location" class="anchored"><td class="def field"><a href="#type-err_instance.assignment_location" class="anchor"></a><code>assignment_location : <a href="../../IBase/Location/index.html#type-t">IBase.Location.t</a>;</code></td></tr><tr id="type-err_instance.assignment_type" class="anchored"><td 