v class="spec module" id="module-InstrRef"><a href="#module-InstrRef" class="anchor"></a><code><span class="keyword">module</span> <a href="InstrRef/index.html">InstrRef</a> : <a href="index.html#module-type-InstrRefT">InstrRefT</a></code></div><dl><dt class="spec type" id="type-err_instance"><a href="#type-err_instance" class="anchor"></a><code><span class="keyword">type</span> err_instance</code><code> = </code><table class="variant"><tr id="type-err_instance.Condition_redundant" class="anchored"><td clas