alba

Alba compiler
IN THIS PACKAGE
Module Fmlib . Common . 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.