package orsetto
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=6e6f59fc6a2c590b1b377e40f2120a548e6f09e61e7eb12ffa45cf2d517316b8
md5=533153cd4a9fe8093d3b98afc1073bc8
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.