| Symbol | Specification | Kind | Type |
|---|---|---|---|
| . .FO? | FOW | p | FOW |
| . .W? | FOW | p | FOW |
| . .tid | FOW | f | FOW → T |
| . .val | FOW | pf | FOW → V with λ fow. fow.W? |
| ∅ | memory | f | L → V |
| FO | FOW | f | T → FOW |
| FOW | FOW | s | |
| L | memory | s | |
| O | memory | c | V |
| T | memory | s | |
| V | memory | s | |
| W | FOW | f | V × T → FOW |
| fow | FOW | v | FOW |
| l | FOW | v | L |
| tid | FOW | v | T |
| v | FOW | v | V |
| val | FOW | v | V |