Module Compare.Monoid_Any
Parameters
M : Interface.MONOID_ANYE : Interface.EQ1 with type 'a t = 'a M.t
Signature
module I : sig ... endval identity : 'a M.t -> bool
Compare.Monoid_AnyM : Interface.MONOID_ANYE : Interface.EQ1 with type 'a t = 'a M.tmodule I : sig ... endval identity : 'a M.t -> bool