Module `Compare.Group_Any`

Parameters

G : Interface.GROUP_ANY
E : Interface.EQ1 with type 'a t = 'a G.t

Signature

module I : sig ... end

val invertibility : 'a G.t -> bool: via Interface.MONOID

val associativity : 'a G.t -> 'a G.t -> 'a G.t -> bool: via Interface.LOOP