Persistent vectors with elements of type 'a.

length v returns the number of elements in vector v.

empty () returns a new vector of length 0.

init n f returns a vector of length n holding the elements f(0), f(1), ... .

append x v appends x to the end of vector v and returns the updated vector.

set i x v replaces the i-th element of vector v with x and returns the updated vector. For i = length v, set i x v equals append x v.

Returns None if index i is out of bounds.

get i v reads the i-th element from vector v.

Returns None if index i is out of bounds.

peek v returns the last element of vector v or None if v is empty.

pop v removes the last element of vector v and returns the removed element together with the updated vector.

Returns None if v is empty.

get_exn is similar to get but raises Not_found instead of returning None.

set_exn is similar to set but raises Invalid_argument _ instead of returning None.

Like List.map.

Like List.mapi.

Like List.fold_left.

Similar to List.fold_right but does not allocate additional memory.

Like List.iter.

Like iter but in reverse order.

to_seq v iterates over vector v front-to-back.

rev_to_seq v iterates over vector v back-to-front.

of_seq s stores the elements of sequence s in a vector.

to_list v converts vector v to a list.

rev_to_list v converts vector v to a list; reverse order.

of_list v converts list l to a vector.

to_array v converts vector v to an array.

rev_to_array v converts vector v to an array; reverse order.

of_array v converts array l to a vector.