module Vaddr:sig
..end
module AddrTaken:State_builder.Hashtbl
(
Cil_datatype.Varinfo.Hashtbl
)
(
Datatype.Unit
)
(
sig
end
)
val set_addr_taken : AddrTaken.key -> unit
class address_taken_var :object
..end
val compute : unit -> unit
val is_funvar : AddrTaken.key -> bool