module Lookup:sig
..end
module F: M.D.F
module D: M.D
type
poffset =
| |
Ofield of |
| |
Oindex of |
typepath =
M.mem * Cil_types.varinfo * poffset list *
Ctypes.c_object
val get_offset : Formula.abstract D.F.term ->
poffset -> D.abstract
val access : Formula.abstract D.F.term ->
poffset list ->
Formula.abstract D.F.term
val mloc_of_path : M.mem -> Cil_types.varinfo -> poffset list -> M.loc
val pp_path : Format.formatter -> 'a * Cil_types.varinfo * 'b list * 'c -> unit