><div class="odoc-spec"><div class="spec type anchored" id="type-unary_operator"><a href="#type-unary_operator" class="anchor"></a><code><span><span class="keyword">type</span> unary_operator</span><span> = </span></code><ol><li id="type-unary_operator.UBNot" class="def variant constructor anchored"><a href="#type-unary_operator.UBNot" class="anchor"></a><code><span>| </span><span><span class="constructor">UBNot</span></span></code></li><li id="type-unary_operator.UMinus" class="def variant constructor anch