Module Vaddr


module Vaddr: sig .. end

module AddrTaken: State_builder.Hashtbl(Cil_datatype.Varinfo.Hashtbl)(Datatype.Unit)(sig
val name : string
val dependencies : State.t list
val kind : [> `Internal ]
val size : int
end)
val set_addr_taken : AddrTaken.key -> unit
class address_taken_var : object .. end
val compute : unit -> unit
val is_funvar : AddrTaken.key -> bool