| Symbol | Specification | Kind | Type |
|---|---|---|---|
| . .er | xview | f | xview → event × event → bool |
| . .view | xview | f | xview → event → viewstate |
| C | view | c | viewstate |
| eqrel | xview | v | event × event → bool |
| eqrel0 | xview | v | event × event → bool |
| ev | event | v | event |
| ev0 | event | v | event |
| ev1 | event | v | event |
| ev2 | event | v | event |
| event | event | s | |
| mkxview | xview | f | (event → viewstate) × (event × event → bool) → xview |
| N | view | c | viewstate |
| V | view | c | viewstate |
| view | xview | v | event → viewstate |
| view0 | xview | v | event → viewstate |
| viewstate | view | s | |
| vstate | view | v | viewstate |
| xview | xview | s | |
| xview | xview | v | xview |
| xview0 | xview | v | xview |
| xview1 | xview | v | xview |