package orsetto
A library of assorted structured data interchange languages
Install
dune-project
Dependency
Authors
Maintainers
Sources
r1.0.2.tar.gz
sha256=bb2af4d8b376b2d60fa996bd4d3b90d9f3559455672540f6d7c3598af81d483b
md5=f7bfa83013801b42fcdba607af2f012b
doc/orsetto.cf/Cf_bsearch_data/Vector/index.html
Module Cf_bsearch_data.Vector
This module contains the signature of a random-access vector containing data accessible at constant order cost for any index. Distinguished instances of the signature include char
type values in string
type vectors and int
type values in int array
vectors.
module type Basis = sig ... end
The signature of vector basis modules.
A distinguished basis module for vectors with integer indices.
module type Profile = sig ... end
The signature of vector implementation modules.
module Create
(E : Cf_relations.Order) :
Profile with type index = int and type element = E.t and type t = E.t array
Use Create(E)
to compose a vector using an array.
Use Of_char
for string vectors.
module Of_int : sig ... end
Use Of_int
for integer array vectors.
module Of_string : sig ... end
Use Of_string
for integer array vectors.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>