functor (R : RANDOMACCESS) ->
functor (PARAM : sig val max_height : int val leaf_size : int end) ->
sig
type 'a t
exception Out_of_bounds
val max_length : int
val empty : 'a Extlib.Vect.Make.t
val singleton : 'a -> 'a Extlib.Vect.Make.t
val of_container : 'a R.t -> 'a Extlib.Vect.Make.t
val to_container : 'a Extlib.Vect.Make.t -> 'a R.t
val to_list : 'a Extlib.Vect.Make.t -> 'a list
val make : int -> 'a -> 'a Extlib.Vect.Make.t
val is_empty : 'a Extlib.Vect.Make.t -> bool
val height : 'a Extlib.Vect.Make.t -> int
val length : 'a Extlib.Vect.Make.t -> int
val balance : 'a Extlib.Vect.Make.t -> 'a Extlib.Vect.Make.t
val concat :
'a Extlib.Vect.Make.t ->
'a Extlib.Vect.Make.t -> 'a Extlib.Vect.Make.t
val append : 'a -> 'a Extlib.Vect.Make.t -> 'a Extlib.Vect.Make.t
val prepend : 'a -> 'a Extlib.Vect.Make.t -> 'a Extlib.Vect.Make.t
val get : int -> 'a Extlib.Vect.Make.t -> 'a
val set : 'a Extlib.Vect.Make.t -> int -> 'a -> 'a Extlib.Vect.Make.t
val sub : int -> int -> 'a Extlib.Vect.Make.t -> 'a Extlib.Vect.Make.t
val insert :
int ->
'a Extlib.Vect.Make.t ->
'a Extlib.Vect.Make.t -> 'a Extlib.Vect.Make.t
val remove :
int -> int -> 'a Extlib.Vect.Make.t -> 'a Extlib.Vect.Make.t
val iter : ('a -> unit) -> 'a Extlib.Vect.Make.t -> unit
val iteri : (int -> 'a -> unit) -> 'a Extlib.Vect.Make.t -> unit
val rangeiter :
('a -> unit) -> int -> int -> 'a Extlib.Vect.Make.t -> unit
val fold_left : ('a -> 'b -> 'a) -> 'a -> 'b Extlib.Vect.Make.t -> 'a
val fold : ('a -> 'b -> 'a) -> 'a -> 'b Extlib.Vect.Make.t -> 'a
val fold_right : ('a -> 'b -> 'b) -> 'a Extlib.Vect.Make.t -> 'b -> 'b
val map : ('a -> 'b) -> 'a Extlib.Vect.Make.t -> 'b Extlib.Vect.Make.t
val mapi :
(int -> 'a -> 'b) -> 'a Extlib.Vect.Make.t -> 'b Extlib.Vect.Make.t
val filter :
('a -> bool) -> 'a Extlib.Vect.Make.t -> 'a Extlib.Vect.Make.t
val filter_map :
('a -> 'b option) -> 'a Extlib.Vect.Make.t -> 'b Extlib.Vect.Make.t
val find_all :
('a -> bool) -> 'a Extlib.Vect.Make.t -> 'a Extlib.Vect.Make.t
val partition :
('a -> bool) ->
'a Extlib.Vect.Make.t ->
'a Extlib.Vect.Make.t * 'a Extlib.Vect.Make.t
val print :
?first:string ->
?last:string ->
?sep:string ->
('a Extlib.InnerIO.output -> 'b -> unit) ->
'a Extlib.InnerIO.output -> 'b Extlib.Vect.Make.t -> unit
end