Module Lmap_bitwise.Location_map_bitwise.LOffset


module LOffset: sig .. end

type t 
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 : Format.formatter -> t -> unit
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 equal : t ->
t -> bool
val tag : t -> int
module Datatype: Project.Datatype.S  with type t = t