ec value" id="val-unit_right_cancelation"><a href="#val-unit_right_cancelation" class="anchor"></a><code><span class="keyword">val</span> unit_right_cancelation : <a href="argument-1-M/index.html#type-t">M.t</a> <span>&#45;&gt;</span> bool</code></dt><dd><p><code>unit_right_cancelation x</code> is <code>true</code> when</p><pre><code class="ml">S.(x * unit) = unit</code></pre></dd></dl><dl><dt class="spec value" id="val-unit_left_cancelation"><a href="#val-unit_left_cancelation" class="anchor"></a><code><sp