# 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