You can search for identifiers within the package.
in-package search v0.2.0
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