package orsetto
A library of assorted structured data interchange languages
Install
Dune Dependency
Authors
Maintainers
Sources
r1.0.tar.gz
sha256=585297372d7f6cfb830214e9ef22d6d072a39b2a1591ef90f1ee2bcfe144cad3
md5=6bb6a7ba88bf2c7595a0b332921e60b4
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)"
>