Module Semigroup.V

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