module V1: functor (Key : sigend) -> sig .. end
| Parameters:  | 
Key | 
: | 
sig
    type t with bin_io, sexp
    include Comparator.S with type t := t
  end
 |   
 | 
type 'a t = (Key.t, 'a, Key.comparator_witness) Std.Map.t 
val bin_t : 'a Std.Bin_prot.Type_class.t ->
       'a t Std.Bin_prot.Type_class.t
val bin_read_t : 'a Std.Bin_prot.Read.reader ->
       'a t Std.Bin_prot.Read.reader
val __bin_read_t__ : 'a Std.Bin_prot.Read.reader ->
       (int -> 'a t) Std.Bin_prot.Read.reader
val bin_reader_t : 'a Std.Bin_prot.Type_class.reader ->
       'a t Std.Bin_prot.Type_class.reader
val bin_size_t : 'a Std.Bin_prot.Size.sizer ->
       'a t Std.Bin_prot.Size.sizer
val bin_write_t : 'a Std.Bin_prot.Write.writer ->
       'a t Std.Bin_prot.Write.writer
val bin_writer_t : 'a Std.Bin_prot.Type_class.writer ->
       'a t Std.Bin_prot.Type_class.writer
val t_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a t
val sexp_of_t : ('a -> Sexplib.Sexp.t) -> 'a t -> Sexplib.Sexp.t