links

The Links Programming Language
IN THIS PACKAGE
val foldl_lwt : ( 'a -> 'b -> 'a Lwt.t ) -> 'a Lwt.t -> 'b list -> 'a Lwt.t
val foldr_lwt : ( 'a -> 'b -> 'b Lwt.t ) -> 'a0 list -> 'b Lwt.t -> 'b0 Lwt.t
val sequence : 'a Lwt.t list -> 'a0 list Lwt.t