Module Indexable.Foldable_of_indexable

Parameters

module I : IndexableN

Signature

val iter : ('a I.elt -> unit) -> 'a I.t -> unit
val iteri : (int -> 'a I.elt -> unit) -> 'a I.t -> unit
val fold_left : ('acc -> 'a I.elt -> 'acc) -> 'acc -> 'a I.t -> 'acc
val exists : ('a I.elt -> bool) -> 'a I.t -> bool
val for_all : ('a I.elt -> bool) -> 'a I.t -> bool
val is_empty : _ I.t -> bool