sig
val link : Project.t -> unit
module Symbols :
sig
val mem_global : Cil_types.global -> bool
val mem_kf : Cil_types.kernel_function -> bool
val mem_vi : string -> bool
exception Unregistered of string
val find_vi : string -> Cil_types.varinfo
val replacement :
get_name:(string -> string) -> Cil_types.varinfo -> Cil_types.varinfo
end
end