Module `Group.V`

module I : sig ... end

val invertibility : Int.Additive.Group.t -> bool
val associativity : Int.Additive.Group.t -> Int.Additive.Group.t -> Int.Additive.Group.t -> bool