module LOffset: sig
.. end
include Datatype.S
val map : (bool * Lmap_bitwise.Location_map_bitwise.y ->
bool * Lmap_bitwise.Location_map_bitwise.y) ->
t -> t
val fold : (Lattice_Interval_Set.Int_Intervals.t ->
bool * Lmap_bitwise.Location_map_bitwise.y -> 'a -> 'a) ->
t -> 'a -> 'a
val fold_fuse_same : (Lattice_Interval_Set.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 degenerate : Lmap_bitwise.Location_map_bitwise.y -> t
val is_empty : t -> bool
val add_iset : exact:bool ->
Lattice_Interval_Set.Int_Intervals.t ->
Lmap_bitwise.Location_map_bitwise.y -> t -> t