alba.albalib
Term.Monadic
Monadic functions
alba.fmlib
alba.fmlib_native
alba.fmlib_node
module M : Fmlib.Module_types.MONAD
val fold_free : (int -> 'a -> 'a M.t) -> t -> 'a -> 'a M.t