Agda.Utils.VarSet

type VarSet

union

unions

member

empty

delete

singleton

fromList

toList

toDescList

isSubsetOf

null

intersection

difference

subtract