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