Up – Package index » orsetto » Library orsetto.cf » Cf_disjoint_interval » Map

Module `Cf_disjoint_interval.Map`

Modules of distinguished map implementations.

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 : 
  Cf_bsearch_data.Map.Profile
    with type search := int
     and type key := int t
     and type Unsafe.index := int
     and type Unsafe.vector := int array
     and type 'a Unsafe.content := 'a array

An map using integer disjoint interval keys.