package orsetto
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=151ca6df499bd3de7aa89a4e1627411fbee24c4dea6e0e71ce21f06f181ee654
md5=00393728b481c2bf15919a8202732335
doc/orsetto.cf/Cf_bsearch_data/Vector/Of_int/index.html
Module Vector.Of_int
Use Of_int
for integer array vectors.
type element = Cf_relations.Int.t
module Basis : sig ... end
Signture of vector basis with type erased.
module Element : sig ... end
Signature of totally ordered vector element type.
type t = Cf_relations.Int.t array
val nil : t
Data structures use this distinguished empty vector.
val empty : t -> bool
Data structures use empty v
to test whether v
contains any elements.
val first : index
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.