Base.Maybe_bound
Used for specifying a bound (either upper or lower) as inclusive, exclusive, or unbounded.
val all : 'a list -> 'a t list
include Sexpable.S1 with type 'a t := 'a t
val t_of_sexp : ( Sexplib0__.Sexp.t -> 'a ) -> Sexplib0__.Sexp.t -> 'a t
val sexp_of_t : ( 'a -> Sexplib0__.Sexp.t ) -> 'a t -> Sexplib0__.Sexp.t
val is_lower_bound : 'a t -> of_:'a -> compare:( 'a -> 'a -> int ) -> bool
val is_upper_bound : 'a t -> of_:'a -> compare:( 'a -> 'a -> int ) -> bool
interval_contains_exn ~lower ~upper x ~compare
raises if lower
and upper
are crossed.
bounds_crossed ~lower ~upper ~compare
returns true if lower > upper
.
It ignores whether the bounds are Incl
or Excl
.
val sexp_of_interval_comparison : interval_comparison -> Sexp.t
val interval_comparison_of_sexp : Sexp.t -> interval_comparison
val compare_interval_comparison :
interval_comparison ->
interval_comparison ->
int
val hash_fold_interval_comparison :
Hash.state ->
interval_comparison ->
Hash.state
val hash_interval_comparison : interval_comparison -> Hash.hash_value
val compare_to_interval_exn :
lower:'a t ->
upper:'a t ->
'a ->
compare:( 'a -> 'a -> int ) ->
interval_comparison
compare_to_interval_exn ~lower ~upper x ~compare
raises if lower
and upper
are crossed.