module Model:sig
..end
module A: A
module R: R
module D: D
type
loc =
| |
Loc of |
| |
Addr of |
val addr : loc -> D.integer
val base : loc -> D.integer
val offset : loc -> D.integer
val loc_of_pointer : 'a -> D.pointer -> loc
val pointer_of_loc : loc -> D.pointer
val cast_loc_to_int : 'a -> loc -> 'b -> D.integer
val cast_int_to_loc : 'a -> D.integer -> 'b -> loc
val pp_loc : Format.formatter -> loc -> unit