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