Module type Either_intf.Either

type ('f, 's) t =
| First of 'f
| Second of 's
val compare : ('f -> 'f -> int) -> ('s -> 's -> int) -> ('f's) t -> ('f's) t -> int
val hash_fold_t : (Base.Hash.state -> 'f -> Base.Hash.state) -> (Base.Hash.state -> 's -> Base.Hash.state) -> Base.Hash.state -> ('f's) t -> Base.Hash.state
include Base.Sexpable.S2 with type ('f, 's) t := ('f's) t
type ('a, 'b) t
val t_of_sexp : (Base.Sexp.t -> 'a) -> (Base.Sexp.t -> 'b) -> Base.Sexp.t -> ('a'b) t
val sexp_of_t : ('a -> Base.Sexp.t) -> ('b -> Base.Sexp.t) -> ('a'b) t -> Base.Sexp.t
include Base.Invariant.S2 with type ('a, 'b) t := ('a'b) t
type ('a, 'b) t
val invariant : 'a Base__.Invariant_intf.inv -> 'b Base__.Invariant_intf.inv -> ('a'b) t Base__.Invariant_intf.inv
val swap : ('f's) t -> ('s'f) t
val value : ('a'a) t -> 'a
val iter : ('a'b) t -> first:('a -> unit) -> second:('b -> unit) -> unit
val value_map : ('a'b) t -> first:('a -> 'c) -> second:('b -> 'c) -> 'c
val map : ('a'b) t -> first:('a -> 'c) -> second:('b -> 'd) -> ('c'd) t
val equal : ('f -> 'f -> bool) -> ('s -> 's -> bool) -> ('f's) t -> ('f's) t -> bool
module type Focused = Focused
module First : Focused with type ('a, 'b) t = ('a'b) t
module Second : Focused with type ('a, 'b) t = ('b'a) t
val is_first : (__) t -> bool
val is_second : (__) t -> bool
val first : 'f -> ('f_) t

first and second are First.return and Second.return.

val second : 's -> (_'s) t