type (!'a, !'e) t = ( 'a, 'e ) Bare_structs.Seq_e.t
and (!'a, !'e) node = ( 'a, 'e ) Bare_structs.Seq_e.node =
| Nil
| Cons of 'a * ( 'a, 'e ) t
val empty : ( 'a, 'e ) t
val return : 'a -> ( 'a, 'e ) t
val return_e : ( 'a, 'e ) result -> ( 'a, 'e ) t
val interrupted : 'e -> ( 'a, 'e ) t
val nil : ( 'a, 'e ) node
val cons : 'a -> ( 'a, 'e ) t -> ( 'a, 'e ) t
val cons_e : ( 'a, 'e ) result -> ( 'a, 'e ) t -> ( 'a, 'e ) t
val append : ( 'a, 'e ) t -> ( 'a, 'e ) t -> ( 'a, 'e ) t
val first : ( 'a, 'e ) t -> ( 'a, 'e ) result option
val fold_left : ( 'a -> 'b -> 'a ) -> 'a -> ( 'b, 'e ) t -> ( 'a, 'e ) result
val fold_left_e : ( 'a -> 'b -> ( 'a, 'e ) result ) -> 'a -> ( 'b, 'e ) t -> ( 'a, 'e ) result
val fold_left_e_discriminated : ( 'a -> 'b -> ( 'a, 'f ) result ) -> 'a -> ( 'b, 'e ) t -> ( 'a, ( 'e, 'f ) Either.t ) result
val fold_left_s : ( 'a -> 'b -> 'a Lwt.t ) -> 'a -> ( 'b, 'e ) t -> ( 'a, 'e ) result Lwt.t
val fold_left_es : ( 'a -> 'b -> ( 'a, 'e ) result Lwt.t ) -> 'a -> ( 'b, 'e ) t -> ( 'a, 'e ) result Lwt.t
val fold_left_es_discriminated : ( 'a -> 'b -> ( 'a, 'f ) result Lwt.t ) -> 'a -> ( 'b, 'e ) t -> ( 'a, ( 'e, 'f ) Either.t ) result Lwt.t
val iter : ( 'a -> unit ) -> ( 'a, 'e ) t -> ( unit, 'e ) result
val iter_e : ( 'a -> ( unit, 'e ) result ) -> ( 'a, 'e ) t -> ( unit, 'e ) result
val iter_e_discriminated : ( 'a -> ( unit, 'f ) result ) -> ( 'a, 'e ) t -> ( unit, ( 'e, 'f ) Either.t ) result
val iter_s : ( 'a -> unit Lwt.t ) -> ( 'a, 'e ) t -> ( unit, 'e ) result Lwt.t
val iter_es : ( 'a -> ( unit, 'e ) result Lwt.t ) -> ( 'a, 'e ) t -> ( unit, 'e ) result Lwt.t
val iter_es_discriminated : ( 'a -> ( unit, 'f ) result Lwt.t ) -> ( 'a, 'e ) t -> ( unit, ( 'e, 'f ) Either.t ) result Lwt.t
val iter_p : ( 'a -> unit Lwt.t ) -> ( 'a, 'e ) t -> ( unit, 'e ) result Lwt.t
val map : ( 'a -> 'b ) -> ( 'a, 'e ) t -> ( 'b, 'e ) t
val map_error : ( 'e -> 'f ) -> ( 'a, 'e ) t -> ( 'a, 'f ) t
val map_e : ( 'a -> ( 'b, 'e ) result ) -> ( 'a, 'e ) t -> ( 'b, 'e ) t
val filter : ( 'a -> bool ) -> ( 'a, 'e ) t -> ( 'a, 'e ) t
val filter_e : ( 'a -> ( bool, 'e ) result ) -> ( 'a, 'e ) t -> ( 'a, 'e ) t
val filter_map : ( 'a -> 'b option ) -> ( 'a, 'e ) t -> ( 'b, 'e ) t
val filter_map_e : ( 'a -> ( 'b option, 'e ) result ) -> ( 'a, 'e ) t -> ( 'b, 'e ) t
val unfold : ( 'b -> ('a * 'b) option ) -> 'b -> ( 'a, 'e ) t
val unfold_e : ( 'b -> ( ('a * 'b) option, 'e ) result ) -> 'b -> ( 'a, 'e ) t
val of_seq : 'a Seq.t -> ( 'a, 'e ) t
val of_seq_e : ( 'a, 'e ) result Seq.t -> ( 'a, 'e ) t