type ('k, 'v) t
= 'k * [ `Left of 'v | `Right of 'v | `Unequal of 'v * 'v ]
val t_of_sexp : k v. (Base__.Sexplib.Sexp.t ‑> 'k) ‑> (Base__.Sexplib.Sexp.t ‑> 'v) ‑> Base__.Sexplib.Sexp.t ‑> ('k, 'v) t
val sexp_of_t : k v. ('k ‑> Base__.Sexplib.Sexp.t) ‑> ('v ‑> Base__.Sexplib.Sexp.t) ‑> ('k, 'v) t ‑> Base__.Sexplib.Sexp.t
val compare : k v. ('k ‑> 'k ‑> int) ‑> ('v ‑> 'v ‑> int) ‑> ('k, 'v) t ‑> ('k, 'v) t ‑> int