Module `Verify.Group_Any`

Parameters

G : Interface.GROUP_ANY

Signature

include sig ... end

module I : sig ... end

val invertibility : 'a G.t -> bool
val associativity : 'a G.t -> 'a G.t -> 'a G.t -> bool