Module Core_extended.Left_boundary

type 'k t =
| Inc of 'k
| Exc of 'k
include sig ... end
val t_of_sexp : (Sexplib.Sexp.t ‑> 'k) ‑> Sexplib.Sexp.t ‑> 'k t
val sexp_of_t : ('k ‑> Sexplib.Sexp.t) ‑> 'k t ‑> Sexplib.Sexp.t
val compare : ('k ‑> 'k ‑> int) ‑> 'k t ‑> 'k t ‑> int