Module Var.Set

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