Module Stable.V1

type nonrec ('f, 's) t = ('f, 's) t =
| First of 'f
| Second of 's
include Bin_prot.Binable.S2 with type ('a1, 'a2) t := ('f, 's) t
val bin_shape_t : Bin_prot.Shape.t -> Bin_prot.Shape.t -> Bin_prot.Shape.t
val bin_size_t : ('a, 'b, ('f, 's) t) Bin_prot.Size.sizer2
val bin_write_t : ('a, 'b, ('f, 's) t) Bin_prot.Write.writer2
val bin_read_t : ('a, 'b, ('f, 's) t) Bin_prot.Read.reader2
val __bin_read_t__ : ('a, 'b, int -> ('f, 's) t) Bin_prot.Read.reader2
val bin_writer_t : ('a, 'b, ('f, 's) t) Bin_prot.Type_class.S2.writer
val bin_reader_t : ('a, 'b, ('f, 's) t) Bin_prot.Type_class.S2.reader
val bin_t : ('a, 'b, ('f, 's) t) Bin_prot.Type_class.S2.t
val compare : ('a1 -> 'a1 -> Base.Int.t) -> ('a2 -> 'a2 -> Base.Int.t) -> ('f, 's) t -> ('f, 's) t -> Base.Int.t
include Ppx_sexp_conv_lib.Sexpable.S2 with type ('a1, 'a2) t := ('f, 's) t
val t_of_sexp : (Sexplib0.Sexp.t -> 'a) -> (Sexplib0.Sexp.t -> 'b) -> Sexplib0.Sexp.t -> ('f, 's) t
val sexp_of_t : ('a -> Sexplib0.Sexp.t) -> ('b -> Sexplib0.Sexp.t) -> ('f, 's) t -> Sexplib0.Sexp.t
val map : ('f, 's) t -> f1:('a1 -> 'b1) -> f2:('a2 -> 'b2) -> ('f, 's) t