Module `Group.V`

module I : sig ... end

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