Module `Compare.Group`

Parameters

G : Interface.GROUP
E : Interface.EQ with type t = G.t

Signature

module I : sig ... end

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

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