Module Lmap_bitwise.Location_map_bitwise.LOffset


module LOffset: sig .. end

include Datatype.S
val find_intervs : (Abstract_interp.Int.t ->
Abstract_interp.Int.t -> Lmap_bitwise.Location_map_bitwise.y) ->
Abstract_value.Int_Intervals.t -> t -> Lmap_bitwise.Location_map_bitwise.y
val map : (bool * Lmap_bitwise.Location_map_bitwise.y ->
bool * Lmap_bitwise.Location_map_bitwise.y) ->
t -> t
val fold : (Abstract_value.Int_Intervals.t ->
bool * Lmap_bitwise.Location_map_bitwise.y -> 'a -> 'a) ->
t -> 'a -> 'a
val join : t -> t -> t
val pretty_with_type : Cil_types.typ option -> Format.formatter -> t -> unit
val collapse : t -> Lmap_bitwise.Location_map_bitwise.y
val empty : t
val is_empty : t -> bool
val add_iset : exact:bool ->
Abstract_value.Int_Intervals.t ->
Lmap_bitwise.Location_map_bitwise.y -> t -> t
val tag : t -> int