Up

Module Left_boundary

Signature

type 'k t =
| Inc of 'k
| Exc of 'k
val compare : ('k -> 'k -> int) -> 'k t -> 'k t -> int
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