UU.DData.IntSet
Set type
data
IntSet
Operators
(\\)
Query
isEmpty
size
member
subset
properSubset
Construction
empty
single
insert
delete
Combine
union
unions
difference
intersection
Filter
filter
partition
split
splitMember
Fold
fold
Conversion
List
elems
toList
fromList
Ordered list
toAscList
fromAscList
fromDistinctAscList
Debugging
showTree
showTreeWith