an>| </span><span><span class="constructor">Assign</span> <span class="keyword">of</span> <a href="#type-lval">lval</a> * <a href="#type-expr">expr</a></span></code></li></ol></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-transition"><a href="#type-transition" class="anchor"></a><code><span><span class="keyword">and</span> transition</span><span> = <span><span>(<a href="#type-transition_desc">transition_desc</a>, <a href="#type-typ">typ</a>)</span> <a href="../../../../Annot/ind