Agda.Utils.VarSet

type VarSet

union

unions

member

empty

delete

singleton

fromList

toList

isSubsetOf

null

subtract