Module Util.My_list

val take : int -> 'a list -> 'a list
val all_some : 'a option list -> 'a list option
val map : ( 'a -> 'b ) -> 'a list -> 'b list
val mapi : ( int -> 'a -> 'b ) -> 'a list -> 'b list
val filter_map : ( 'a -> 'b option ) -> 'a list -> 'b list
val filter_mapi : ( int -> 'a -> 'b option ) -> 'a list -> 'b list
val find_map : ( 'a -> 'b option ) -> 'a list -> 'b option
val fold_left : ( 'a -> 'b -> 'a ) -> 'a -> 'b list -> 'a
val append : 'a list -> 'a list -> 'a list
val (@) : 'a list -> 'a list -> 'a list
val flat_map : ( 'a -> 'b list ) -> 'a list -> 'b list