Up – bastet » Bastet » Verify » Monoid

Module `Verify.Monoid`

Parameters

M : Interface.MONOID

Signature

include sig ... end

module I : sig ... end

val identity : M.t -> bool