Parameters
Signature
val commute_list : 'a M.m list -> 'a list M.mval map : ('a -> 'b M.m) -> 'a list -> 'b list M.mval filter_map : ('a -> 'b option M.m) -> 'a list -> 'b list M.mval map_bwd : ('a -> 'b M.m) -> 'a Bwd.bwd -> 'b Bwd.bwd M.mval iter : ('a -> unit M.m) -> 'a list -> unit M.mval ignore : 'a M.m -> unit M.mval fold_left_m : ('a -> 'b -> 'b M.m) -> 'b -> 'a list -> 'b M.mval guard : bool -> (unit -> unit M.m) -> unit M.mval first : ('a -> 'b M.m) -> ('a * 'c) -> ('b * 'c) M.mval second : ('b -> 'c M.m) -> ('a * 'b) -> ('a * 'c) M.mval map_accum_left_m : ('a list -> 'a -> 'b M.m) -> 'a list -> 'b list M.m