module Tr_offset:sig
..end
type
t =
| |
Invalid |
(* | No location is valid | *) |
| |
Set of |
(* | Limited number of locations | *) |
| |
Interval of |
|||
| |
Imprecise of |
val filter_by_bound_for_reading : with_alarms:CilE.warn_mode ->
Ival.t -> Integer.t -> Base.validity -> t
val filter_by_bound_for_writing : with_alarms:CilE.warn_mode ->
exact:bool -> Ival.t -> Integer.t -> Base.validity -> bool * t