Up – bastet » Bastet__Verify » Semigroup

Module `Bastet__Verify.Semigroup`

Parameters

S : Bastet.Interface.SEMIGROUP

Signature

include sig ... end

module I : sig ... end

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