Module WpFroms.Vars

module Vars: sig .. end

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