Module `Group.V`

module I : sig ... end

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