Module Runtime_mem.Create.Model


module Model: sig .. end

module D: D
module A: A
module R: R
type loc = Runtime_mem.Create.Tint.x_addr 
val pp_loc : Format.formatter -> Runtime_mem.Create.Tint.x_addr -> unit
val pointer_of_loc : Runtime_mem.Create.Tint.x_addr -> D.pointer
val loc_of_pointer : 'a -> D.pointer -> loc
val cast_loc_to_int : 'a ->
Runtime_mem.Create.Tint.x_addr ->
Ctypes.c_int -> D.integer
val cast_int_to_loc : Ctypes.c_int ->
D.integer -> 'a -> loc