Module type Abstract_structure.Disjunction

module type Disjunction = sig .. end

type t 
type submemory 
type structure 
val pretty : Stdlib.Format.formatter -> t -> unit
val hash : t -> int
val equal : t -> t -> bool
val compare : t -> t -> int
val raw : t -> Abstract_memory.Bit.t
val of_raw : Cil_types.compinfo ->
Abstract_memory.Bit.t -> t
val of_struct : Cil_types.compinfo ->
structure -> t
val to_struct : oracle:Abstract_memory.oracle ->
t -> structure
val weak_erase : Cil_types.compinfo ->
Abstract_memory.Bit.t ->
t -> t
val is_included : t -> t -> bool
val unify : oracle:Abstract_memory.bioracle ->
(submemory ->
submemory ->
submemory) ->
t ->
t -> t
val read : (submemory -> 'a) ->
('a -> 'a -> 'a) ->
t -> Cil_types.fieldinfo -> 'a
val update : oracle:Abstract_memory.oracle ->
(submemory ->
submemory Lattice_bounds.or_bottom) ->
t ->
Cil_types.fieldinfo ->
t Lattice_bounds.or_bottom
val map : (submemory ->
submemory) ->
t -> t