Module Semigroup.V

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