sig
type t
type submemory
val pretty :
Stdlib.Format.formatter -> Abstract_structure.Structure.t -> unit
val hash : Abstract_structure.Structure.t -> int
val equal :
Abstract_structure.Structure.t -> Abstract_structure.Structure.t -> bool
val compare :
Abstract_structure.Structure.t -> Abstract_structure.Structure.t -> int
val raw : Abstract_structure.Structure.t -> Abstract_memory.Bit.t
val of_raw : Abstract_memory.Bit.t -> Abstract_structure.Structure.t
val weak_erase :
Abstract_memory.Bit.t ->
Abstract_structure.Structure.t -> Abstract_structure.Structure.t
val is_included :
Abstract_structure.Structure.t -> Abstract_structure.Structure.t -> bool
val unify :
(Abstract_structure.Structure.submemory ->
Abstract_structure.Structure.submemory ->
Abstract_structure.Structure.submemory) ->
Abstract_structure.Structure.t ->
Abstract_structure.Structure.t -> Abstract_structure.Structure.t
val read :
Abstract_structure.Structure.t ->
Cil_types.fieldinfo -> Abstract_structure.Structure.submemory
val update :
(Abstract_structure.Structure.submemory ->
Abstract_structure.Structure.submemory Lattice_bounds.or_bottom) ->
Abstract_structure.Structure.t ->
Cil_types.fieldinfo ->
Abstract_structure.Structure.t Lattice_bounds.or_bottom
val map :
(Abstract_structure.Structure.submemory ->
Abstract_structure.Structure.submemory) ->
Abstract_structure.Structure.t -> Abstract_structure.Structure.t
end