UU.DData.Set
Set type
data
Set
a
Operators
(\\)
Query
isEmpty
size
member
subset
properSubset
Construction
empty
single
insert
delete
Combine
union
unions
difference
intersection
Filter
filter
partition
split
splitMember
Fold
fold
Min/Max
findMin
findMax
deleteMin
deleteMax
deleteFindMin
deleteFindMax
Conversion
List
elems
toList
fromList
Ordered list
toAscList
fromAscList
fromDistinctAscList
Debugging
showTree
showTreeWith
valid