Module Funvar_mem.Create.Model


module Model: sig .. end

module F: M.D.F
module A: M.A
module R: M.R
module D: M.D

type loc =
| Path of Funvar_mem.Create.Lookup.path
| Mloc of M.loc
val loc_of_pointer : Ctypes.c_object -> M.D.pointer -> loc
val pointer_of_loc : loc -> M.D.pointer
val pp_loc : Format.formatter -> loc -> unit
val cast_loc_to_int : Cil_types.typ -> loc -> Ctypes.c_int -> M.D.integer
val cast_int_to_loc : Ctypes.c_int -> M.D.integer -> Cil_types.typ -> loc