| Symbol | Specification | Kind | Type |
|---|---|---|---|
| . × . | cell | f | A × Ref[Cell[A]] → Cell[A] |
| . nxt | cell | f | Cell[A] → Ref[Cell[A]] |
| . nxt:= . | cell | f | Cell[A] × Ref[Cell[A]] → Cell[A] |
| . val | cell | f | Cell[A] → A |
| . val:= . | cell | f | Cell[A] × A → Cell[A] |
| Cell | cell | s | |
| Ref | polyref | s | |
| a | cell | v | A |
| ce | cell | v | Cell[A] |
| null | polyref | c | Ref[A] |
| nxt | cell | v | Ref[Cell[A]] |
| r | cell | v | Ref[Cell[A]] |
| val | cell | v | A |