Type of vector index.

Type of vector element.

Signture of vector basis with type erased.

Signature of totally ordered vector element type.

Abstract type of a vector of elements

Data structures use this distinguished empty vector.

Data structures use empty v to test whether v contains any elements.

Data structures use first as the index of the first element.

Data strutures use last v to get the index of the last element of v. This function may raise Invalid_argument only if v is empty.

Data structures use project v i to get the element in v at index i. Data structures may raise Invalid_argument only if i is not a valid index of v.

Data structures use of_seq s to make a vector with elements consumed from s, with the head of s at the first index, and the element immediately preceding the end of s at the last index.

Data structures use to_seq v to make a confluently persistent sequence of elements from v, beginning at the first element and ending after the last element.