| Symbol | Specification | Kind | Type |
|---|---|---|---|
| . .left | node | f | node → ref |
| . .left:= . | node | f | node × ref → node |
| . .right | node | f | node → ref |
| . .right:= . | node | f | node × ref → node |
| . .val | node | f | node → elem |
| . .val:= . | node | f | node × elem → node |
| a | elem | v | elem |
| a0 | node | v | elem |
| b | elem | v | elem |
| c | elem | v | elem |
| elem | elem | s | |
| mknode | node | f | ref × elem × ref → node |
| nd | node | v | node |
| node | node | s | |
| null | ref | c | ref |
| r | ref | v | ref |
| r0 | ref | v | ref |
| r1 | ref | v | ref |
| r2 | node | v | ref |
| ref | ref | s |