package orsetto

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

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.