AvlSet
AvlSet is a tree-based set which stores Orderable elements in
a AVL balanced binary tree.
This set is an Extensional Set, which is to say that membership of the set is defined by enumerating the members.
AvlSet is a tree-based set which stores Orderable elements in
a AVL balanced binary tree.
This set is an Extensional Set, which is to say that membership of the set is defined by enumerating the members.