V1 (docs.findlib-1.core.Core.Either.Stable.V1)

type nonrec ('f, 's) t = ('f, 's) t =

| First of 'f
| Second of 's

include Bin_prot.Binable.S_local2 with type ('f, 's) t := ('f, 's) t

include Bin_prot.Binable.S2 with type ('f, 's) t := ('f, 's) t

val bin_size_t__local : ('a, 'b, ('a, 'b) t) Bin_prot.Size.sizer_local2

val bin_write_t__local : ('a, 'b, ('a, 'b) t) Bin_prot.Write.writer_local2

include Ppx_compare_lib.Equal.S2 with type ('f, 's) t := ('f, 's) t

val equal : 
  ('a -> 'a -> bool) ->
  ('b -> 'b -> bool) ->
  ('a, 'b) t ->
  ('a, 'b) t ->
  bool

val stable_witness : 
  'a Ppx_stable_witness_runtime.Stable_witness.t ->
  'b Ppx_stable_witness_runtime.Stable_witness.t ->
  ('a, 'b) t Ppx_stable_witness_runtime.Stable_witness.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

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

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

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

val __bin_read_t__ : ('a, 'b, int -> ('a, 'b) t) Bin_prot.Read.reader2

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

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

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

include Ppx_compare_lib.Comparable.S2 with type ('a1, 'a2) t := ('a1, 'a2) t

val compare : 
  ('a -> 'a -> int) ->
  ('b -> 'b -> int) ->
  ('a, 'b) t ->
  ('a, 'b) t ->
  int

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

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

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

val map : ('a1, 'a2) t -> f1:('a1 -> 'b1) -> f2:('a2 -> 'b2) -> ('b1, 'b2) t