Up – bastet » Bastet__Verify » Compare » Monoid

Module `Compare.Monoid`

Parameters

M : Bastet.Interface.MONOID
E : Bastet.Interface.EQ with type t = M.t

Signature

module I : sig ... end

val identity : M.t -> bool