Agda.Utils.VarSet
type VarSet
union
unions
member
empty
delete
singleton
fromList
toList
toDescList
isSubsetOf
null
intersection
difference
subtract