Module `Semigroup.V`

module I : sig ... end

val associativity : Int.Additive.Semigroup.t -> Int.Additive.Semigroup.t -> Int.Additive.Semigroup.t -> bool