Module Var.VarSet


module VarSet: Set.S  with type elt = var