Map (p.orsetto.1.1.2.doc.orsetto.cf.Cf_disjoint

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.