Module Var.Map

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