Entry_diff (ppx_diff.ppx_diff.diffable.Diffable.Tuples.Tuple3.Diff.Entry

type ('a1, 'a2, 'a3, 'a1_diff, 'a2_diff, 'a3_diff) t =

| T1 of 'a1_diff
| T2 of 'a2_diff
| T3 of 'a3_diff

val t1 : 
  'a1 'a2 'a3 'a1_diff 'a2_diff 'a3_diff. 'a1_diff ->
  ('a1, 'a2, 'a3, 'a1_diff, 'a2_diff, 'a3_diff) t

val t2 : 
  'a1 'a2 'a3 'a1_diff 'a2_diff 'a3_diff. 'a2_diff ->
  ('a1, 'a2, 'a3, 'a1_diff, 'a2_diff, 'a3_diff) t

val t3 : 
  'a1 'a2 'a3 'a1_diff 'a2_diff 'a3_diff. 'a3_diff ->
  ('a1, 'a2, 'a3, 'a1_diff, 'a2_diff, 'a3_diff) t

val is_t1 : 
  'a1 'a2 'a3 'a1_diff 'a2_diff 'a3_diff. ('a1,
                                            'a2,
                                            'a3,
                                            'a1_diff,
                                            'a2_diff,
                                            'a3_diff)
                                            t ->
  Base.bool

val is_t2 : 
  'a1 'a2 'a3 'a1_diff 'a2_diff 'a3_diff. ('a1,
                                            'a2,
                                            'a3,
                                            'a1_diff,
                                            'a2_diff,
                                            'a3_diff)
                                            t ->
  Base.bool

val is_t3 : 
  'a1 'a2 'a3 'a1_diff 'a2_diff 'a3_diff. ('a1,
                                            'a2,
                                            'a3,
                                            'a1_diff,
                                            'a2_diff,
                                            'a3_diff)
                                            t ->
  Base.bool

val t1_val : 
  'a1 'a2 'a3 'a1_diff 'a2_diff 'a3_diff. ('a1,
                                            'a2,
                                            'a3,
                                            'a1_diff,
                                            'a2_diff,
                                            'a3_diff)
                                            t ->
  'a1_diff Base.option

val t2_val : 
  'a1 'a2 'a3 'a1_diff 'a2_diff 'a3_diff. ('a1,
                                            'a2,
                                            'a3,
                                            'a1_diff,
                                            'a2_diff,
                                            'a3_diff)
                                            t ->
  'a2_diff Base.option

val t3_val : 
  'a1 'a2 'a3 'a1_diff 'a2_diff 'a3_diff. ('a1,
                                            'a2,
                                            'a3,
                                            'a1_diff,
                                            'a2_diff,
                                            'a3_diff)
                                            t ->
  'a3_diff Base.option

module Variants : sig ... end

val sexp_of_t : 
  ('a1 -> Sexplib0.Sexp.t) ->
  ('a2 -> Sexplib0.Sexp.t) ->
  ('a3 -> Sexplib0.Sexp.t) ->
  ('a1_diff -> Sexplib0.Sexp.t) ->
  ('a2_diff -> Sexplib0.Sexp.t) ->
  ('a3_diff -> Sexplib0.Sexp.t) ->
  ('a1, 'a2, 'a3, 'a1_diff, 'a2_diff, 'a3_diff) t ->
  Sexplib0.Sexp.t

val t_of_sexp : 
  (Sexplib0.Sexp.t -> 'a1) ->
  (Sexplib0.Sexp.t -> 'a2) ->
  (Sexplib0.Sexp.t -> 'a3) ->
  (Sexplib0.Sexp.t -> 'a1_diff) ->
  (Sexplib0.Sexp.t -> 'a2_diff) ->
  (Sexplib0.Sexp.t -> 'a3_diff) ->
  Sexplib0.Sexp.t ->
  ('a1, 'a2, 'a3, 'a1_diff, 'a2_diff, 'a3_diff) t

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

val bin_size_t : 
  'a1 'a2 'a3 'a1_diff 'a2_diff 'a3_diff. 'a1 Bin_prot.Size.sizer ->
  'a2 Bin_prot.Size.sizer ->
  'a3 Bin_prot.Size.sizer ->
  'a1_diff Bin_prot.Size.sizer ->
  'a2_diff Bin_prot.Size.sizer ->
  'a3_diff Bin_prot.Size.sizer ->
  ('a1, 'a2, 'a3, 'a1_diff, 'a2_diff, 'a3_diff) t Bin_prot.Size.sizer

val bin_write_t : 
  'a1 'a2 'a3 'a1_diff 'a2_diff 'a3_diff. 'a1 Bin_prot.Write.writer ->
  'a2 Bin_prot.Write.writer ->
  'a3 Bin_prot.Write.writer ->
  'a1_diff Bin_prot.Write.writer ->
  'a2_diff Bin_prot.Write.writer ->
  'a3_diff Bin_prot.Write.writer ->
  ('a1, 'a2, 'a3, 'a1_diff, 'a2_diff, 'a3_diff) t Bin_prot.Write.writer

val bin_writer_t : 
  'a1 'a2 'a3 'a1_diff 'a2_diff 'a3_diff. 'a1 Bin_prot.Type_class.writer ->
  'a2 Bin_prot.Type_class.writer ->
  'a3 Bin_prot.Type_class.writer ->
  'a1_diff Bin_prot.Type_class.writer ->
  'a2_diff Bin_prot.Type_class.writer ->
  'a3_diff Bin_prot.Type_class.writer ->
  ('a1, 'a2, 'a3, 'a1_diff, 'a2_diff, 'a3_diff) t Bin_prot.Type_class.writer

val bin_read_t : 
  'a1 'a2 'a3 'a1_diff 'a2_diff 'a3_diff. 'a1 Bin_prot.Read.reader ->
  'a2 Bin_prot.Read.reader ->
  'a3 Bin_prot.Read.reader ->
  'a1_diff Bin_prot.Read.reader ->
  'a2_diff Bin_prot.Read.reader ->
  'a3_diff Bin_prot.Read.reader ->
  ('a1, 'a2, 'a3, 'a1_diff, 'a2_diff, 'a3_diff) t Bin_prot.Read.reader

val __bin_read_t__ : 
  'a1 'a2 'a3 'a1_diff 'a2_diff 'a3_diff. 'a1 Bin_prot.Read.reader ->
  'a2 Bin_prot.Read.reader ->
  'a3 Bin_prot.Read.reader ->
  'a1_diff Bin_prot.Read.reader ->
  'a2_diff Bin_prot.Read.reader ->
  'a3_diff Bin_prot.Read.reader ->
  ('a1, 'a2, 'a3, 'a1_diff, 'a2_diff, 'a3_diff) t Bin_prot.Read.vtag_reader

val bin_reader_t : 
  'a1 'a2 'a3 'a1_diff 'a2_diff 'a3_diff. 'a1 Bin_prot.Type_class.reader ->
  'a2 Bin_prot.Type_class.reader ->
  'a3 Bin_prot.Type_class.reader ->
  'a1_diff Bin_prot.Type_class.reader ->
  'a2_diff Bin_prot.Type_class.reader ->
  'a3_diff Bin_prot.Type_class.reader ->
  ('a1, 'a2, 'a3, 'a1_diff, 'a2_diff, 'a3_diff) t Bin_prot.Type_class.reader

val bin_t : 
  'a1 'a2 'a3 'a1_diff 'a2_diff 'a3_diff. 'a1 Bin_prot.Type_class.t ->
  'a2 Bin_prot.Type_class.t ->
  'a3 Bin_prot.Type_class.t ->
  'a1_diff Bin_prot.Type_class.t ->
  'a2_diff Bin_prot.Type_class.t ->
  'a3_diff Bin_prot.Type_class.t ->
  ('a1, 'a2, 'a3, 'a1_diff, 'a2_diff, 'a3_diff) t Bin_prot.Type_class.t

val quickcheck_generator : 
  'a1 'a2 'a3 'a1_diff 'a2_diff 'a3_diff. 'a1
                                            Ppx_quickcheck_runtime.Base_quickcheck.Generator.t ->
  'a2 Ppx_quickcheck_runtime.Base_quickcheck.Generator.t ->
  'a3 Ppx_quickcheck_runtime.Base_quickcheck.Generator.t ->
  'a1_diff Ppx_quickcheck_runtime.Base_quickcheck.Generator.t ->
  'a2_diff Ppx_quickcheck_runtime.Base_quickcheck.Generator.t ->
  'a3_diff Ppx_quickcheck_runtime.Base_quickcheck.Generator.t ->
  ('a1, 'a2, 'a3, 'a1_diff, 'a2_diff, 'a3_diff) t
    Ppx_quickcheck_runtime.Base_quickcheck.Generator.t

val quickcheck_observer : 
  'a1 'a2 'a3 'a1_diff 'a2_diff 'a3_diff. 'a1
                                            Ppx_quickcheck_runtime.Base_quickcheck.Observer.t ->
  'a2 Ppx_quickcheck_runtime.Base_quickcheck.Observer.t ->
  'a3 Ppx_quickcheck_runtime.Base_quickcheck.Observer.t ->
  'a1_diff Ppx_quickcheck_runtime.Base_quickcheck.Observer.t ->
  'a2_diff Ppx_quickcheck_runtime.Base_quickcheck.Observer.t ->
  'a3_diff Ppx_quickcheck_runtime.Base_quickcheck.Observer.t ->
  ('a1, 'a2, 'a3, 'a1_diff, 'a2_diff, 'a3_diff) t
    Ppx_quickcheck_runtime.Base_quickcheck.Observer.t

val quickcheck_shrinker : 
  'a1 'a2 'a3 'a1_diff 'a2_diff 'a3_diff. 'a1
                                            Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t ->
  'a2 Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t ->
  'a3 Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t ->
  'a1_diff Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t ->
  'a2_diff Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t ->
  'a3_diff Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t ->
  ('a1, 'a2, 'a3, 'a1_diff, 'a2_diff, 'a3_diff) t
    Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t