sig
val
get_variable :
string
->
(unit
->
Cil_types
.varinfo)
->
Cil_types
.varinfo
end