Module Stable.V1

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