Module Funvar_mem.Create.Lookup


module Lookup: sig .. end

module F: M.D.F
module D: M.D

type poffset =
| Ofield of Cil_types.fieldinfo
| Oindex of D.integer * Ctypes.c_object
type path = 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