package orsetto
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha512=e260412b2dd0f98cfe3dc7ed5c31a694eb31c93cd207c51fa12675b790234ee0ad3bf07d9be17a4dc266fedfe55b14c967cad7bc0c9414063eef8afd59f3d0d1
doc/orsetto.cf/Cf_bsearch_data/Vector/Create/index.html
Module Vector.Create
Use Create(E) to compose a vector using an array.
Parameters
module E : Cf_relations.OrderSignature
type element = E.tType of vector element.
module Element : Cf_relations.Order with type t = elementSignature of totally ordered vector element type.
type t = E.t arrayAbstract type of a vector of elements
val nil : tData structures use this distinguished empty vector.
val empty : t -> boolData structures use empty v to test whether v contains any elements.
val first : indexData 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.