Tuple2 (ppx_diff.ppx_diff.diffable.Diffable.Tuples.Tuple2)

type ('a1, 'a2) t = 'a1 * 'a2

include Sexplib0.Sexpable.S2 with type ('a1, 'a2) t := ('a1, 'a2) t

val t_of_sexp : 
  'a 'b. (Sexplib0.Sexp.t -> 'a) ->
  (Sexplib0.Sexp.t -> 'b) ->
  Sexplib0.Sexp.t ->
  ('a, 'b) t

val sexp_of_t : 
  'a 'b. ('a -> Sexplib0.Sexp.t) ->
  ('b -> Sexplib0.Sexp.t) ->
  ('a, 'b) t ->
  Sexplib0.Sexp.t

include Bin_prot.Binable.S2 with type ('a1, 'a2) t := ('a1, 'a2) t

val bin_shape_t : Bin_prot.Shape.t -> Bin_prot.Shape.t -> Bin_prot.Shape.t

include sig ... end

val bin_size_t : 'a 'b. ('a, 'b, ('a, 'b) t) Bin_prot.Size.sizer2

val bin_write_t : 'a 'b. ('a, 'b, ('a, 'b) t) Bin_prot.Write.writer2

val bin_read_t : 'a 'b. ('a, 'b, ('a, 'b) t) Bin_prot.Read.reader2

val __bin_read_t__ : 'a 'b. ('a, 'b, ('a, 'b) t) Bin_prot.Read.vtag_reader2

val bin_writer_t : 'a 'b. ('a, 'b, ('a, 'b) t) Bin_prot.Type_class.S2.writer

val bin_reader_t : 'a 'b. ('a, 'b, ('a, 'b) t) Bin_prot.Type_class.S2.reader

val bin_t : 'a 'b. ('a, 'b, ('a, 'b) t) Bin_prot.Type_class.S2.t

module Diff : sig ... end

module For_inlined_tuple : sig ... end