| Symbol | Specification | Kind | Type |
|---|---|---|---|
| . [ . ] | store-base | f | store × elem × data → store |
| ∅ | store-base | c | store |
| a | elem | v | elem |
| b | elem | v | elem |
| c | elem | v | elem |
| d | data | v | data |
| d0 | data | v | data |
| d1 | data | v | data |
| d2 | data | v | data |
| data | data | s | |
| elem | elem | s | |
| st | store-base | v | store |
| st0 | store-base | v | store |
| st1 | store-base | v | store |
| st2 | store-base | v | store |
| store | store-base | s |