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