| Symbol | Specification | Kind | Type |
|---|---|---|---|
| # . | ref-map | f | refset → nat |
| # . | ref-map | f | ref-map → nat |
| . + . | nat-basic2 | f | nat × nat → nat |
| . ++ . | ref-map | f | refset × ref → refset |
| . +1 | nat-basic1 | f | nat → nat |
| . - . | nat | f | nat × nat → nat |
| . -- . | ref-map | f | refset × ref → refset |
| . -- . | ref-map | f | ref-map × ref → ref-map |
| . -1 | nat-basic1 | f | nat → nat |
| . < . | nat-basic1 | p | nat × nat |
| . > . | nat | p | nat × nat |
| . [ . ] | ref-map | f | ref-map × ref × ref → ref-map |
| . [ . ] | ref-map | f | ref-map × ref → ref |
| . \ . | ref-map | f | ref-map × refset → ref-map |
| . \ . | ref-map | f | refset × refset → refset |
| . × . | ref-map | f | ref × ref → refref |
| . ∈ . | ref-map | p | ref × refset |
| . ∈ . | ref-map | p | ref × ref-map |
| . ∈ . | ref-map | p | refref × ref-map |
| . ∈ran . | ref-map | p | ref × ref-map |
| . ∩ . | ref-map | f | refset × refset → refset |
| . ∪ . | ref-map | f | refset × refset → refset |
| . ≤ . | nat | p | nat × nat |
| . ≥ . | nat | p | nat × nat |
| . ⊆ . | ref-map | p | refset × refset |
| . ⊆ . | ref-map | p | ref-map × ref-map |
| { . } | ref-map | f | ref → refset |
| ∅ | ref-map | c | ref-map |
| ∅ | ref-map | c | refset |
| dom . | ref-map | f | ref-map → refset |
| m | nat-basic2 | v | nat |
| map | ref-map | v | ref-map |
| map0 | ref-map | v | ref-map |
| map1 | ref-map | v | ref-map |
| map2 | ref-map | v | ref-map |
| n | nat-basic1 | v | nat |
| n0 | nat-basic1 | v | nat |
| n1 | nat-basic1 | v | nat |
| nat | nat-basic1 | s | |
| null | ref | c | ref |
| r | ref | v | ref |
| r0 | ref | v | ref |
| r1 | ref | v | ref |
| r2 | ref-map | v | ref |
| r3 | ref-map | v | ref |
| r4 | ref-map | v | ref |
| r5 | ref-map | v | ref |
| r6 | ref-map | v | ref |
| ref | ref | s | |
| ref-map | ref-map | s | |
| refref | ref-map | s | |
| refrefvar | ref-map | v | refref |
| refset | ref-map | s | |
| rs | ref-map | v | refset |
| rs0 | ref-map | v | refset |
| rs1 | ref-map | v | refset |
| rs2 | ref-map | v | refset |