Module Instantiate.Global_context

module Global_context: sig .. end

val get_variable : string -> (unit -> Cil_types.varinfo) -> Cil_types.varinfo
get_variable name f searches for an existing variable name. If this variable does not exists, it is created using f.

The obtained varinfo does not need to be registered, nor f needs to perform the registration, it will be done by the transformation.