Module Packed_map

module Packed_map: sig .. end

A packed map is a map from keys to values, represented using a packed array of key-value tuples which is sorted by key. Construction is very slow, but lookup is a reasonable speed. The main purpose is to be able to construct very large lookup tables that don't have much GC overhead.

module type Key = sig .. end

module type Value = sig .. end

module type S = sig .. end

module Make: 
functor (K : Key) -> 
functor (V : Value) -> S  with type key := K.t and type value := V.t