Skip to content

Commit

Permalink
Update BatSeq.fold_lefti type signature to match the stdlib
Browse files Browse the repository at this point in the history
  • Loading branch information
UnixJunkie committed Feb 18, 2022
1 parent a7276a8 commit 67859ac
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/batSeq.mliv
Original file line number Diff line number Diff line change
Expand Up @@ -400,11 +400,11 @@ end
##V>=4.14##
##V>=4.14## @since 4.14 *)

##V>=4.14##val fold_lefti : (int -> 'b -> 'a -> 'b) -> 'b -> 'a t -> 'b
##V>=4.14##val fold_lefti : ('b -> int -> 'a -> 'b) -> 'b -> 'a t -> 'b
##V>=4.14##(** [fold_lefti f _ xs] invokes [f _ i x] successively
##V>=4.14## for every element [x] located at index [i] of the sequence [xs].
##V>=4.14##
##V>=4.14## An accumulator of type ['a] is threaded through the calls to [f].
##V>=4.14## An accumulator of type ['b] is threaded through the calls to [f].
##V>=4.14##
##V>=4.14## It terminates only if the sequence [xs] is finite.
##V>=4.14##
Expand Down

0 comments on commit 67859ac

Please sign in to comment.