Module Compare.Monoid
Parameters
M : Interface.MONOIDE : Interface.EQ with type t = M.t
Signature
module I : sig ... endval identity : M.t -> bool
Compare.MonoidM : Interface.MONOIDE : Interface.EQ with type t = M.tmodule I : sig ... endval identity : M.t -> bool