Module Map_intf.Key_bin_io
module type S = sig ... end
type ('t, 'c) t
= (module S with type comparator_witness = 'c and type t = 't)
Map_intf.Key_bin_io
module type S = sig ... end
type ('t, 'c) t
= (module S with type comparator_witness = 'c and type t = 't)