This commit is contained in:
Simon Cruanes 2021-09-13 06:34:21 -04:00
parent c9e257d40b
commit 86512dbed0
No known key found for this signature in database
GPG key ID: 4AC01D0849AA62B6
2 changed files with 4 additions and 0 deletions

View file

@ -129,6 +129,8 @@ let[@inline] iteri f t =
let[@inline] to_seq a k = iter k a
let to_iter v k = iter k v
let exists p t = Iter.exists p @@ to_seq t
let for_all p t = Iter.for_all p @@ to_seq t
let fold f acc a = Iter.fold f acc @@ to_seq a

View file

@ -84,6 +84,8 @@ val sort : 'a t -> ('a -> 'a -> int) -> unit
val iter : ('a -> unit) -> 'a t -> unit
(** Iterate on elements *)
val to_iter : 'a t -> 'a Iter.t
val iteri : (int -> 'a -> unit) -> 'a t -> unit
(** Iterate on elements with their index *)