package orsetto
A library of assorted structured data interchange languages
Install
Dune Dependency
Authors
Maintainers
Sources
r1.1.3.tar.gz
sha512=9b654edb663ae697563f150824047052f3b1bf760398f24bce6350553f031f73c46b6337239a1acd871e61238597ea92046809e3358290ff14d6ba671b449085
doc/orsetto.cf/Cf_disjoint_interval/Map/index.html
Module Cf_disjoint_interval.Map
Modules of distinguished map implementations.
module Create
(B : Cf_bsearch.Basis) :
Cf_bsearch_data.Map.Profile
with type search := B.t
and type key := B.t t
and type Unsafe.index := int
and type Unsafe.vector := B.t array
and type 'a Unsafe.content := 'a array
Use Create(B)
to make a map using disjoint intervals of a given binary searchable type.
module Of_char :
Cf_bsearch_data.Map.Profile
with type search := char
and type key := char t
and type Unsafe.index := int
and type Unsafe.vector := string
and type 'a Unsafe.content := 'a array
A map using character disjoint interval keys.
module Of_int : sig ... end
An integer map using disjoint intervals.
module Of_float : sig ... end
An floating point number map using disjoint intervals.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>