Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package alba
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
A mutable vector (like a C++ vector)
val make_empty : unit -> 'a tMake an empty vector
val singleton : 'a -> 'a tA singleton vector
val make : int -> 'a -> 'a tmake n e makes a vector with size n where all elements are e.
val count : 'a t -> intNumber of elements in the vector.
val is_empty : 'a t -> boolIs the vector empty?
val elem : 'a t -> int -> 'aelem v i returns the ith element of the vector v.
val first : 'a t -> 'aThe first element of the vector.
val last : 'a t -> 'aThe last element of the vector.
val put : 'a t -> int -> 'a -> unitput v i e sets the ith element of the vector v to e.
val push_rear : 'a t -> 'a -> unitpush_rear v e appends the element e to the end of the vector v.
val remove_n_last : 'a t -> int -> unitremove_n_rear v n removes the last n elements of the vector v.
val remove_last : 'a t -> 'aremove_last v removes the last element of the vector v.
val keep : 'a t -> int -> unitkeep v n keeps only the first n elements of v.
val remove : 'a t -> int -> unitremove v i removes the ith element from the vector v.