Module Semigroup.V

module I : sig ... end
val associativity : Float.Additive.Semigroup.t -> Float.Additive.Semigroup.t -> Float.Additive.Semigroup.t -> bool