type ('a, 'b) t
=
|
Left of 'a
Right of 'b
Both of 'a * 'b
include sig ... end
val compare : ('a ‑> 'a ‑> int) ‑> ('b ‑> 'b ‑> int) ‑> ('a, 'b) t ‑> ('a, 'b) t ‑> int
val hash_fold_t : (Hash.state ‑> 'a ‑> Hash.state) ‑> (Hash.state ‑> 'b ‑> Hash.state) ‑> Hash.state ‑> ('a, 'b) t ‑> Hash.state
val t_of_sexp : (Sexp.t ‑> 'a) ‑> (Sexp.t ‑> 'b) ‑> Sexp.t ‑> ('a, 'b) t
val sexp_of_t : ('a ‑> Sexp.t) ‑> ('b ‑> Sexp.t) ‑> ('a, 'b) t ‑> Sexp.t