span> ... <span class="keyword">end</span></code></div><dl><dt class="spec value" id="val-cancellative"><a href="#val-cancellative" class="anchor"></a><code><span class="keyword">val</span> cancellative : <a href="../../../../../Bastet/Int/Multiplicative/Quasigroup/index.html#type-t">Bastet.Int.Multiplicative.Quasigroup.t</a> <span>&#45;&gt;</span> <a href="../../../../../Bastet/Int/Multiplicative/Quasigroup/index.html#type-t">Bastet.Int.Multiplicative.Quasigroup.t</a> <span>&#45;&gt;</span> <a href="../../