Module type Mvalues.Model


module type Model = sig .. end

module D: Mdata.S 
module A: Mint.S  with module D = D
module R: Mfloat.S  with module D = D
type loc 
val loc_of_pointer : Ctypes.c_object -> D.pointer -> loc
val pointer_of_loc : loc -> D.pointer

cast_loc_to_int t p c_int : cast loc if type t* into a term of type c_int
val cast_loc_to_int : Cil_types.typ -> loc -> Ctypes.c_int -> D.integer
val cast_int_to_loc : Ctypes.c_int -> D.integer -> Cil_types.typ -> loc
val pp_loc : Format.formatter -> loc -> unit