Module Foldable.Monoid

Parameters

Signature

module FM : sig ... end
module I : sig ... end
type acc = {
init : bool;
acc : M.t;
}
val fold : M.t F.t -> M.t
val intercalate : separator:M.t -> M.t F.t -> M.t