Module `Compare.Quasigroup_Any`

Parameters

Q : Interface.QUASIGROUP_ANY
E : 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