Up – bastet » Bastet__Verify » Compare » Semigroup

Module `Compare.Semigroup`

Parameters

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

Signature

module I : sig ... end

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