Module Semigroup.V

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