Module Var.VarSet

module VarSet: Set.S  with type elt = t
Set over variables