package alba

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Module `Interval.Monadic`

Parameters

module M : Module_types.MONAD

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.