sig
type t =
Set of Ival.O.t
| Interval of Integer.t * Integer.t * Integer.t
| Imprecise of Integer.t * Integer.t
exception Unbounded
val filter_by_bound_for_reading :
with_alarms:CilE.warn_mode ->
Ival.t -> Integer.t -> Base.validity -> Tr_offset.t
val filter_by_bound_for_writing :
with_alarms:CilE.warn_mode ->
exact:bool -> Ival.t -> Integer.t -> Base.validity -> bool * Tr_offset.t
end