Module Syntax.VarSet


module VarSet: ExtSSet.S  with type elt = var