s="anchor"></a><code><span>| </span><span><span class="constructor">Dot</span> <span class="keyword">of</span> bool * bool * <a href="#type-elt">elt</a> * <a href="#type-elt">elt</a></span></code></li><li id="type-op.Inv" class="def variant constructor anchored"><a href="#type-op.Inv" class="anchor"></a><code><span>| </span><span><span class="constructor">Inv</span></span></code></li><li id="type-op.Trace" class="def variant constructor anchored"><a href="#type-op.Trace" class="anchor"></a><code><span>| </s