Module Globals.Syntactic_search

module Syntactic_search: sig .. end

val self : State.t
val find_in_scope : string -> Cil_types.syntactic_scope -> Cil_types.varinfo option

find_in_scope orig_name scope finds a variable from its orig_name, according to the syntactic scope in which it should be searched.