module Vars: sig .. end
sig
end
val new_vars : Cil_types.logic_var list Pervasives.ref
Cil_types.logic_var list Pervasives.ref
val get_and_init : unit -> Cil_types.logic_var list
unit -> Cil_types.logic_var list
val mk_new : string -> Cil_types.logic_type -> Cil_types.logic_var
string -> Cil_types.logic_type -> Cil_types.logic_var