Module `Compare.Quasigroup_Any`

Parameters

Q : Bastet.Interface.QUASIGROUP_ANY
E : Bastet.Interface.EQ1 with type 'a t = 'a Q.t

Signature

module I : sig ... end

val cancellative : 'a Q.t -> 'a Q.t -> 'a Q.t -> bool