Module Var.VarMap

module VarMap: Map.S  with type key = t
Map over variables