fix foldi to have 'a param first

This commit is contained in:
carm 2015-01-03 13:16:56 -05:00
parent 2083590773
commit beb50229ad

View file

@ -122,7 +122,7 @@ val iteri : (int -> 'a -> unit) -> 'a t -> unit
val fold : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a
(** Fold over elements of the sequence, consuming it *)
val foldi : ('b -> int -> 'a -> 'b) -> 'b -> 'a t -> 'b
val foldi : ('a -> int -> 'b -> 'a) -> 'a -> 'b t -> 'a
(** Fold over elements of the sequence and their index, consuming it *)
val map : ('a -> 'b) -> 'a t -> 'b t