Module Store_mem.Create.Model


module Model: sig .. end

module A: A
module R: R
module D: D

type loc =
| Loc of Cil_types.varinfo * D.integer
| Addr of D.integer
val addr : loc -> D.integer
val base : loc -> D.integer
val offset : loc -> D.integer
val loc_of_pointer : 'a -> D.pointer -> loc
val pointer_of_loc : loc -> D.pointer
val cast_loc_to_int : 'a -> loc -> 'b -> D.integer
val cast_int_to_loc : 'a -> D.integer -> 'b -> loc
val pp_loc : Format.formatter -> loc -> unit