package orsetto
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha512=e260412b2dd0f98cfe3dc7ed5c31a694eb31c93cd207c51fa12675b790234ee0ad3bf07d9be17a4dc266fedfe55b14c967cad7bc0c9414063eef8afd59f3d0d1
doc/orsetto.cf/Cf_bsearch_data/Vector/Of_int/index.html
Module Vector.Of_int
Use Of_int
for integer array vectors.
type element = 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 = 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.