Section Fcalc_bracket_any.
Variable l : location.

(* Specifications: *)
Theorem inbetween_bounds :
inbetween l ->
(d <= x < u)%R.
Theorem inbetween_bounds_not_Eq :
inbetween l ->
l <> loc_Exact ->
(d < x < u)%R.
Theorem inbetween_bounds :
inbetween l ->
(d <= x < u)%R.
Theorem inbetween_bounds_not_Eq :
inbetween l ->
l <> loc_Exact ->
(d < x < u)%R.