Leftist-tree-structure
Functions relating to building and recognizing leftist trees.
Subtopics
- Proper-lt
- Checks that a tree is a legitimate leftist tree
- Rank-lt
- Rank of a leftist tree
- Right-lt
- Right sub-tree of a leftist tree
- Is-empty-lt
- Checks if a tree is empty
- *empty-lt*
- The default empty leftist tree
- Root-lt
- Root of a leftist tree
- Left-lt
- Left sub-tree of a leftist tree
