| Symbol | Specification | Kind | Type |
|---|---|---|---|
| # . | laddress-list | f | laddress-list → nat |
| . ' | laddress-list | f | laddress → laddress-list |
| . + . | nat-basic2 | f | nat × nat → nat |
| . + . | laddress-list | f | laddress × laddress → laddress-list |
| . + . | laddress-list | f | laddress × laddress-list → laddress-list |
| . + . | laddress-list | f | laddress-list × laddress → laddress-list |
| . + . | laddress-list | f | laddress-list × laddress-list → laddress-list |
| . ++ . | laddress-list | f | laddress-list × laddress → laddress-list |
| . +1 | nat-basic1 | f | nat → nat |
| . - . | nat | f | nat × nat → nat |
| . -1 | nat-basic1 | f | nat → nat |
| . -1l . | laddress-list | f | laddress-list × nat → laddress-list |
| . -1l . | laddress-list | f | laddress-list × laddress → laddress-list |
| . -l . | laddress-list | f | laddress-list × laddress → laddress-list |
| . .butlast | laddress-list | f | laddress-list → laddress-list |
| . .first | laddress-list | f | laddress-list → laddress |
| . .last | laddress-list | f | laddress-list → laddress |
| . .off | laddress | f | laddress → nat |
| . .off:= . | laddress | f | laddress × nat → laddress |
| . .rest | laddress-list | f | laddress-list → laddress-list |
| . .size | laddress | f | laddress → nat |
| . .size:= . | laddress | f | laddress × nat → laddress |
| . < . | laddress-list | p | laddress-list × laddress-list |
| . < . | nat-basic1 | p | nat × nat |
| . > . | nat | p | nat × nat |
| . [ . ] | laddress-list | f | laddress-list × nat → laddress |
| . [ . ] | laddress-list | f | laddress-list × nat × laddress → laddress-list |
| . ∈ . | laddress-list | p | laddress × laddress-list |
| . ≤ . | nat | p | nat × nat |
| . ≥ . | nat | p | nat × nat |
| . ⊑ . | laddress-list | p | laddress-list × laddress-list |
| . ⊒ . | laddress-list | p | laddress-list × laddress-list |
| @ | laddress | f | nat × nat → laddress |
| [] | laddress-list | c | laddress-list |
| butlastn | laddress-list | f | nat × laddress-list → laddress-list |
| disj | laddress-list | p | laddress-list × laddress-list |
| dropn | laddress-list | f | nat × laddress-list → laddress-list |
| dups | laddress-list | p | laddress-list |
| fillfirst | laddress-list | f | nat × laddress × laddress-list → laddress-list |
| firstn | laddress-list | f | nat × laddress-list → laddress-list |
| frome | laddress-list | f | laddress-list × laddress → laddress-list |
| laddress | laddress | s | |
| laddress-list | laddress-list | s | |
| ladr | laddress | v | laddress |
| ladr0 | laddress-list | v | laddress |
| ladr1 | laddress-list | v | laddress |
| ladr2 | laddress-list | v | laddress |
| lastn | laddress-list | f | nat × laddress-list → laddress-list |
| lax | laddress-list | v | laddress-list |
| lax0 | laddress-list | v | laddress-list |
| lax1 | laddress-list | v | laddress-list |
| lax2 | laddress-list | v | laddress-list |
| lay | laddress-list | v | laddress-list |
| lay0 | laddress-list | v | laddress-list |
| lay1 | laddress-list | v | laddress-list |
| lay2 | laddress-list | v | laddress-list |
| laz | laddress-list | v | laddress-list |
| laz0 | laddress-list | v | laddress-list |
| laz1 | laddress-list | v | laddress-list |
| laz2 | laddress-list | v | laddress-list |
| m | nat-basic1 | v | nat |
| m0 | laddress | v | nat |
| m1 | laddress | v | nat |
| m2 | laddress | v | nat |
| mklist | laddress-list | f | laddress × nat → laddress-list |
| n | nat-basic1 | v | nat |
| n0 | nat-basic1 | v | nat |
| n1 | nat-basic1 | v | nat |
| nat | nat-basic1 | s | |
| pos | laddress-list | f | laddress × laddress-list → nat |
| prefixn | laddress-list | f | nat × laddress-list → laddress-list |
| restn | laddress-list | f | nat × laddress-list → laddress-list |
| rev | laddress-list | f | laddress-list → laddress-list |
| rmdup | laddress-list | f | laddress-list → laddress-list |
| slice | laddress-list | f | nat × nat × laddress-list → laddress-list |
| sublist | laddress-list | f | nat × nat × laddress-list → laddress-list |