Module Verify.Group

Parameters

Signature

include sig ... end
module I : sig ... end
val invertibility : G.t -> bool
val associativity : G.t -> G.t -> G.t -> bool