Functions.Monoid
M : Interface.MONOID
module I : sig ... end
val power : M.t -> int -> M.t
val guard : bool -> M.t -> M.t