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
type t
include Core.Std.Comparable.S with type t := t
module Packed_array : Packed_array.S with type elt := t
val bin_t : t Core.Std.Bin_prot.Type_class.t
val bin_read_t : t Core.Std.Bin_prot.Read.reader
val __bin_read_t__ : (int -> t) Core.Std.Bin_prot.Read.reader
val bin_reader_t : t Core.Std.Bin_prot.Type_class.reader
val bin_size_t : t Core.Std.Bin_prot.Size.sizer
val bin_write_t : t Core.Std.Bin_prot.Write.writer
val bin_writer_t : t Core.Std.Bin_prot.Type_class.writer
val t_of_sexp : Sexplib.Sexp.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t
module type Value = sig .. end
type t
module Packed_array : Packed_array.S with type elt := t
val bin_t : t Core.Std.Bin_prot.Type_class.t
val bin_read_t : t Core.Std.Bin_prot.Read.reader
val __bin_read_t__ : (int -> t) Core.Std.Bin_prot.Read.reader
val bin_reader_t : t Core.Std.Bin_prot.Type_class.reader
val bin_size_t : t Core.Std.Bin_prot.Size.sizer
val bin_write_t : t Core.Std.Bin_prot.Write.writer
val bin_writer_t : t Core.Std.Bin_prot.Type_class.writer
val t_of_sexp : Sexplib.Sexp.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t
module type S = sig .. end
type t
type key
type value
val empty : t
val of_alist : (key * value) list -> t
val to_alist : t -> (key * value) list
val of_aarray : (key * value) array -> t
val of_sorted_aarray : (key * value) array -> t
val of_hashtbl : (key, value) Core.Std.Hashtbl.t -> t
val find : t -> key -> value option
val mem : t -> key -> bool
val iter : t -> f:(key:key -> data:value -> unit) -> unit
val bin_t : t Core.Std.Bin_prot.Type_class.t
val bin_read_t : t Core.Std.Bin_prot.Read.reader
val __bin_read_t__ : (int -> t) Core.Std.Bin_prot.Read.reader
val bin_reader_t : t Core.Std.Bin_prot.Type_class.reader
val bin_size_t : t Core.Std.Bin_prot.Size.sizer
val bin_write_t : t Core.Std.Bin_prot.Write.writer
val bin_writer_t : t Core.Std.Bin_prot.Type_class.writer
val t_of_sexp : Sexplib.Sexp.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t
val bin_key : key Core.Std.Bin_prot.Type_class.t
val bin_read_key : key Core.Std.Bin_prot.Read.reader
val __bin_read_key__ : (int -> key) Core.Std.Bin_prot.Read.reader
val bin_reader_key : key Core.Std.Bin_prot.Type_class.reader
val bin_size_key : key Core.Std.Bin_prot.Size.sizer
val bin_write_key : key Core.Std.Bin_prot.Write.writer
val bin_writer_key : key Core.Std.Bin_prot.Type_class.writer
val key_of_sexp : Sexplib.Sexp.t -> key
val sexp_of_key : key -> Sexplib.Sexp.t
val bin_value : value Core.Std.Bin_prot.Type_class.t
val bin_read_value : value Core.Std.Bin_prot.Read.reader
val __bin_read_value__ : (int -> value) Core.Std.Bin_prot.Read.reader
val bin_reader_value : value Core.Std.Bin_prot.Type_class.reader
val bin_size_value : value Core.Std.Bin_prot.Size.sizer
val bin_write_value : value Core.Std.Bin_prot.Write.writer
val bin_writer_value : value Core.Std.Bin_prot.Type_class.writer
val value_of_sexp : Sexplib.Sexp.t -> value
val sexp_of_value : value -> Sexplib.Sexp.t
module Make : 
functor (K : Key) ->
functor (V : Value) -> S with type value := V.t and type key := K.t