| Symbol | Specification | Kind | Type |
|---|---|---|---|
| . .nxt | cell | f | cell → ref |
| . .nxt:= . | cell | f | cell × ref → cell |
| . .val | cell | f | cell → elem |
| . .val:= . | cell | f | cell × elem → cell |
| . × . | cell | f | elem × ref → cell |
| a | cell | v | elem |
| ce | cell | v | cell |
| cell | cell | s | |
| elem | elem | s | |
| null | ref | c | ref |
| nxt | cell | v | ref |
| r | cell | v | ref |
| ref | ref | s | |
| val | cell | v | elem |