| Symbol | Specification | Kind | Type |
|---|---|---|---|
| . .left | cell | f | cell → ref |
| . .left:= . | cell | f | cell × ref → cell |
| . .right | cell | f | cell → ref |
| . .right:= . | cell | f | cell × ref → cell |
| . .val | cell | f | cell → elem |
| . .val:= . | cell | f | cell × elem → cell |
| . < . | oelem | p | elem × elem |
| a | elem | v | elem |
| a0 | cell | v | elem |
| b | elem | v | elem |
| c | elem | v | elem |
| ce | cell | v | cell |
| cell | cell | s | |
| elem | elem | s | |
| mkcell | cell | f | ref × ref × elem → cell |
| null | ref | c | ref |
| r | ref | v | ref |
| r0 | ref | v | ref |
| r1 | ref | v | ref |
| r2 | cell | v | ref |
| ref | ref | s |