Module Var

module Var: sig .. end

type t = Symbol.t 

val dummy : t

val print : Format.formatter -> t -> unit

val to_string : t -> string

module Set: Sette.S  with type elt = t 
		      and type t = Symbol.Set.t

module Map: Mappe.S  with type key = t 
		      and type 'a t = 'a Symbol.Map.t
		      and module Setkey=Set