| Symbol | Specification | Kind | Type |
|---|---|---|---|
| # . | address-list | f | address-list → nat |
| . ' | address-list | f | address → address-list |
| . + . | nat-basic2 | f | nat × nat → nat |
| . + . | address-list | f | address × address → address-list |
| . + . | address-list | f | address × address-list → address-list |
| . + . | address-list | f | address-list × address → address-list |
| . + . | address-list | f | address-list × address-list → address-list |
| . ++ . | address-list | f | address-list × address → address-list |
| . +1 | nat-basic1 | f | nat → nat |
| . - . | nat | f | nat × nat → nat |
| . -1 | nat-basic1 | f | nat → nat |
| . -1l . | address-list | f | address-list × nat → address-list |
| . -1l . | address-list | f | address-list × address → address-list |
| . -l . | address-list | f | address-list × address → address-list |
| . .butlast | address-list | f | address-list → address-list |
| . .first | address-list | f | address-list → address |
| . .last | address-list | f | address-list → address |
| . .rest | address-list | f | address-list → address-list |
| . < . | address-list | p | address-list × address-list |
| . < . | nat-basic1 | p | nat × nat |
| . > . | nat | p | nat × nat |
| . [ . ] | address-list | f | address-list × nat → address |
| . [ . ] | address-list | f | address-list × nat × address → address-list |
| . ∈ . | address-list | p | address × address-list |
| . ≤ . | nat | p | nat × nat |
| . ≥ . | nat | p | nat × nat |
| . ⊑ . | address-list | p | address-list × address-list |
| . ⊒ . | address-list | p | address-list × address-list |
| [] | address-list | c | address-list |
| ADR_CHECKED | address | c | address |
| ADR_NEW | address | c | address |
| address | address | s | |
| address-list | address-list | s | |
| adr | address | v | address |
| adr0 | address | v | address |
| adr1 | address | v | address |
| adr2 | address | v | address |
| adr3 | address | v | address |
| adr4 | address | v | address |
| adr5 | address | v | address |
| ax | address-list | v | address-list |
| ax0 | address-list | v | address-list |
| ax1 | address-list | v | address-list |
| ax2 | address-list | v | address-list |
| ay | address-list | v | address-list |
| ay0 | address-list | v | address-list |
| ay1 | address-list | v | address-list |
| ay2 | address-list | v | address-list |
| az | address-list | v | address-list |
| az0 | address-list | v | address-list |
| az1 | address-list | v | address-list |
| az2 | address-list | v | address-list |
| butlastn | address-list | f | nat × address-list → address-list |
| disj | address-list | p | address-list × address-list |
| dropn | address-list | f | nat × address-list → address-list |
| dups | address-list | p | address-list |
| fillfirst | address-list | f | nat × address × address-list → address-list |
| firstn | address-list | f | nat × address-list → address-list |
| frome | address-list | f | address-list × address → address-list |
| lastn | address-list | f | nat × address-list → address-list |
| m | nat-basic1 | v | nat |
| mklist | address-list | f | address × nat → address-list |
| n | nat-basic1 | v | nat |
| n0 | nat-basic1 | v | nat |
| n1 | nat-basic1 | v | nat |
| nat | nat-basic1 | s | |
| pos | address-list | f | address × address-list → nat |
| prefixn | address-list | f | nat × address-list → address-list |
| restn | address-list | f | nat × address-list → address-list |
| rev | address-list | f | address-list → address-list |
| rmdup | address-list | f | address-list → address-list |
| slice | address-list | f | nat × nat × address-list → address-list |
| sublist | address-list | f | nat × nat × address-list → address-list |