Parameter Plus.P

type 'a t = 'a M.t
val mempty : 'a t

Represent the neutral element

val mplus : 'a t -> 'a t -> 'a t

Monoïd combination