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