2
2
-- | Var field implementation of sets of (small) natural numbers.
5
, union, unions, member, empty, delete, singleton, fromList, toList, isSubsetOf
5
, union, unions, member, empty, delete, singleton, fromList, toList, isSubsetOf, Set.null
6
6
, Agda.Utils.VarSet.subtract