module Model:sig
..end
module D: D
module A: A
module R: R
type
epath =
| |
Pfield of |
| |
Pidx of |
type
loc =
| |
L0addr of |
| |
L0depl of |
| |
L0ptr of |
| |
L0shift of |
val pointer_of_loc : loc -> D.pointer
val loc_of_pointer : 'a -> D.pointer -> loc
val pp_loc : Format.formatter -> loc -> unit
val pp_epath : Format.formatter -> epath -> unit
val cast_loc_to_int : 'a -> 'b -> 'c -> 'd
val cast_int_to_loc : 'a -> 'b -> 'c -> 'd