type nonrec ('k, 'v) t = ('k, 'v) tinclude Sexplib0.Sexpable.S2 with type ('k, 'v) t := ('k, 'v) tval t_of_sexp :
(Sexplib0.Sexp.t -> 'a) ->
(Sexplib0.Sexp.t -> 'b) ->
Sexplib0.Sexp.t ->
('a, 'b) tval sexp_of_t :
('a -> Sexplib0.Sexp.t) ->
('b -> Sexplib0.Sexp.t) ->
('a, 'b) t ->
Sexplib0.Sexp.tinclude Core.Bin_prot.Binable.S2 with type ('k, 'v) t := ('k, 'v) tval bin_shape_t : Bin_prot.Shape.t -> Bin_prot.Shape.t -> Bin_prot.Shape.tval bin_size_t : ('a, 'b, ('a, 'b) t) Bin_prot.Size.sizer2val bin_write_t : ('a, 'b, ('a, 'b) t) Bin_prot.Write.writer2val bin_read_t : ('a, 'b, ('a, 'b) t) Bin_prot.Read.reader2val __bin_read_t__ : ('a, 'b, int -> ('a, 'b) t) Bin_prot.Read.reader2val bin_writer_t : ('a, 'b, ('a, 'b) t) Bin_prot.Type_class.S2.writerval bin_reader_t : ('a, 'b, ('a, 'b) t) Bin_prot.Type_class.S2.readerval bin_t : ('a, 'b, ('a, 'b) t) Bin_prot.Type_class.S2.tval stable_witness :
'k Ppx_stable_witness_runtime.Stable_witness.t ->
'v Ppx_stable_witness_runtime.Stable_witness.t ->
('k, 'v) t Ppx_stable_witness_runtime.Stable_witness.tinclude Diffable.S2 with type ('k, 'v) t := ('k, 'v) tmodule Diff : sig ... end