Module `Compare.Semigroup_Any`

Parameters

S : Interface.SEMIGROUP_ANY
E : Interface.EQ1 with type 'a t = 'a S.t

Signature

module I : sig ... end

val associativity : 'a S.t -> 'a S.t -> 'a S.t -> bool