Module Interval.Monadic

Parameters

Signature

val fold : (int -> 'a -> 'a M.t) -> int -> int -> 'a -> 'a M.t

Like ordinary fold, but uses the monad M to sequence the operations.