Up – bastet » Bastet » Verify » Compare » Semigroup

Module `Compare.Semigroup`

Parameters

S : Interface.SEMIGROUP
E : Interface.EQ with type t = S.t

Signature

module I : sig ... end

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