sig
  val swap : 'a array -> int -> int -> unit
  val rev : 'a array -> int -> int -> unit
  val set_all : 'a array -> int -> int -> 'a -> unit
  val set_fun : 'a array -> int -> int -> (int -> 'a) -> unit
  val mem : 'a -> 'a array -> int -> int -> bool
  val exists : ('a -> bool) -> 'a array -> int -> int -> bool
  val exists_const :
    ('a -> 'b -> bool) -> 'a -> 'b array -> int -> int -> bool
  val for_all : ('a -> bool) -> 'a array -> int -> int -> bool
  val for_all_const :
    ('a -> 'b -> bool) -> 'a -> 'b array -> int -> int -> bool
  val first : ('a -> bool) -> 'a array -> int -> int -> int
  val first_const : ('a -> 'b -> bool) -> 'a -> 'b array -> int -> int -> int
  val fold_left : ('a -> 'b -> 'a) -> 'a -> 'b array -> int -> int -> 'a
  val fold_right : ('a -> 'b -> 'b) -> 'a array -> int -> int -> 'b -> 'b
  val foldi_left :
    ('a -> int -> 'b -> 'a) -> 'a -> 'b array -> int -> int -> 'a
  val foldi_right :
    (int -> 'a -> 'b -> 'b) -> 'a array -> int -> int -> 'b -> 'b
  val fold_left_const :
    ('a -> 'b -> 'c -> 'b) -> 'a -> 'b -> 'c array -> int -> int -> 'b
  val fold_right_const :
    ('a -> 'b -> 'c -> 'c) -> 'a -> 'b array -> int -> int -> 'c -> 'c
  val foldi_left_const :
    ('a -> 'b -> int -> 'c -> 'b) -> 'a -> 'b -> 'c array -> int -> int -> 'b
  val foldi_right_const :
    ('a -> int -> 'b -> 'c -> 'c) -> 'a -> 'b array -> int -> int -> 'c -> 'c
  val iter : ('a -> unit) -> 'a array -> int -> int -> unit
  val iteri : (int -> 'a -> unit) -> 'a array -> int -> int -> unit
  val iter_const : ('a -> 'b -> unit) -> 'a -> 'b array -> int -> int -> unit
  val iteri_const :
    ('a -> int -> 'b -> unit) -> 'a -> 'b array -> int -> int -> unit
  val modify : ('a -> 'a) -> 'a array -> int -> int -> unit
  val modify_const : ('a -> 'b -> 'b) -> 'a -> 'b array -> int -> int -> unit
  val sort : ('a -> 'a -> int) -> 'a array -> int -> int -> unit
  val stable_sort : ('a -> 'a -> int) -> 'a array -> int -> int -> unit
end

---

Hosted by the ^* web site.
^*Other names and brands may be claimed as the property of others.