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.
Since Chlorine-20180501
Returns Some vi otherwise, with vi the varinfo associated to orig_name in scope according to C lookup rules.