Make_monadic_iterators
Make iterators to handle options of monadic elements and monadic options.
module M : Monad.S
type 'a iterable = 'a option
type 'a monad = 'a M.t
val fold : ('a -> 'b -> 'a monad) -> 'a -> 'b iterable -> 'a monad
val map : ('a -> 'b monad) -> 'a iterable -> 'b iterable monad
val iter : ('a -> unit monad) -> 'a iterable -> unit monad
Frama-C