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