module Model:sig
..end
module D: D
module A: A
module R: R
typeloc =
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