Up – bastet » Bastet » Verify » Semigroup

Module `Verify.Semigroup`

Parameters

S : Interface.SEMIGROUP

Signature

include sig ... end

module I : sig ... end

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