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