Module Indexing.Vector

type ('n, 'a) t = ('n, 'a) vector
val as_array : ('b, 'a) t -> 'a array
val length : ('n, 'a) t -> 'n cardinal
val get : ('n, 'a) t -> 'n index -> 'a
val set : ('n, 'a) t -> 'n index -> 'a -> unit
val set_cons : ('n, 'a list) t -> 'n index -> 'a -> unit
val empty : (Empty.n, 'a) t
val make : 'n cardinal -> 'a -> ('n, 'a) t
val make' : 'n cardinal -> (unit -> 'a) -> ('n, 'a) t
val init : 'n cardinal -> ('n index -> 'a) -> ('n, 'a) t
val map : ('a -> 'b) -> ('n, 'a) t -> ('n, 'b) t
val mapi : ('n index -> 'a -> 'b) -> ('n, 'a) t -> ('n, 'b) t
val copy : ('n, 'a) t -> ('n, 'a) t
val iter : ('a -> unit) -> ('n, 'a) t -> unit
val iteri : ('n index -> 'a -> unit) -> ('n, 'a) t -> unit
val iter2 : ('a -> 'b -> unit) -> ('n, 'a) t -> ('n, 'b) t -> unit
val fold_left : ('a -> 'b -> 'a) -> 'a -> ('c, 'b) t -> 'a
val fold_right : ('b -> 'a -> 'a) -> ('c, 'b) t -> 'a -> 'a
val fold_left2 : ('a -> 'b -> 'c -> 'a) -> 'a -> ('n, 'b) t -> ('n, 'c) t -> 'a
val fold_right2 : ('b -> 'c -> 'a -> 'a) -> ('n, 'b) t -> ('n, 'c) t -> 'a -> 'a
val to_list : ('b, 'a) t -> 'a list
val sort : ('a -> 'a -> int) -> ('n, 'a) t -> unit
val invert : 'n cardinal -> ('m, 'n index) t -> ('n, 'm index option) t
val of_array : 'n cardinal -> 'a array -> ('n, 'a) t
module type V = sig ... end
module Of_array (A : sig ... end) : sig ... end