| Symbol | Specification | Kind | Type |
|---|---|---|---|
| . [ . ] | store-nogen | f | storenogen × elem → data |
| . [ . ] | store-nogen | f | storenogen × elem × data → storenogen |
| . × . | store-nogen | f | elem × data → elemdata |
| . ∈ . | store-nogen | p | elemdata × storenogen |
| . ⊆ . | store-nogen | p | storenogen × storenogen |
| a | elem | v | elem |
| a0 | store-nogen | 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 | |
| elemdata | store-nogen | s | |
| elemdatavar | store-nogen | v | elemdata |
| stng | store-nogen | v | storenogen |
| stng0 | store-nogen | v | storenogen |
| stng1 | store-nogen | v | storenogen |
| stng2 | store-nogen | v | storenogen |
| storenogen | store-nogen | s |