Module Var.VarMap


module VarMap: Map.S  with type key = var