| symbol | specification | entry |
|---|
| # | list-data | function,
list → nat |
| # | array | function,
array → nat |
| # | list-of-natarray | function,
list-of-natarray → nat |
| # | set-basic | function,
set → nat |
| # | array-set | function,
array-set → nat |
| #oc | list-perm | function,
elem × list → nat |
| #oc | list-as-arrayinstance | function,
elem × array → nat |
| #oc | natarray | function,
nat × array → nat |
| ' | list | function,
elem → list |
| ' | list-as-arrayinstance | function,
elem → array |
| ' | natarray | function,
nat → array |
| ' | list-of-natarray | function,
array → list-of-natarray |
| + | nat-basic | function,
nat × nat → nat |
| + | list-data | function,
elem × list → list |
| + | list | function,
list × elem → list |
| + | list | function,
list × list → list |
| + | array-listops | function,
elem × array → array |
| + | list-as-arrayinstance | function,
array × elem → array |
| + | list-as-arrayinstance | function,
array × array → array |
| + | natarray | function,
nat × array → array |
| + | natarray | function,
array × nat → array |
| + | list-of-natarray | function,
list-of-natarray × array → list-of-natarray |
| + | list-of-natarray | function,
list-of-natarray × list-of-natarray → list-of-natarray |
| + | list-of-natarray | function,
array × list-of-natarray → list-of-natarray |
| ++ | list-dup | function,
list × elem → list |
| ++ | list-as-arrayinstance | function,
array × elem → array |
| ++ | natarray | function,
array × nat → array |
| ++ | list-of-natarray | function,
list-of-natarray × array → list-of-natarray |
| ++ | set-basic | function,
set × elem → set |
| ++ | array-set | function,
array-set × array → array-set |
| +1 | nat-basic | function,
nat → nat |
| +2 | list | function,
elem × elem → list |
| +2 | list-as-arrayinstance | function,
elem × elem → array |
| +2 | natarray | function,
nat × nat → array |
| +2 | list-of-natarray | function,
array × array → list-of-natarray |
| - | nat | partial function,
nat × nat → nat |
| -- | set-union | function,
set × elem → set |
| -- | array-set | function,
array-set × array → array-set |
| -1 | nat-basic | partial function,
nat → nat |
| -1l | list-del | function,
list × elem → list |
| -1l | list-as-arrayinstance | function,
array × elem → array |
| -1l | natarray | function,
array × nat → array |
| -l | list-del | function,
list × elem → list |
| -l | list-as-arrayinstance | function,
array × elem → array |
| -l | natarray | function,
array × nat → array |
| -p | list-del | function,
list × nat → list |
| -p | list-as-arrayinstance | function,
array × nat → array |
| .butlast | list-last | partial function,
list → list |
| .butlast | list-as-arrayinstance | partial function,
array → array |
| .butlast | list-of-natarray | partial function,
list-of-natarray → list-of-natarray |
| .first | array-listops | partial function,
array → elem |
| .first | natarray | partial function,
array → nat |
| .head | list-data | partial function,
list → elem |
| .head | list-of-natarray | partial function,
list-of-natarray → array |
| .last | list-last | partial function,
list → elem |
| .last | list-as-arrayinstance | partial function,
array → elem |
| .last | natarray | partial function,
array → nat |
| .last | list-of-natarray | partial function,
list-of-natarray → array |
| .rest | array-listops | partial function,
array → array |
| .tail | list-data | partial function,
list → list |
| .tail | list-of-natarray | partial function,
list-of-natarray → list-of-natarray |
| .toSet | challenge1 | function,
list-of-natarray → array-set |
| < | nat-basic | predicate,
nat × nat |
| < | list-data | predicate,
list × list |
| < | array-listops | predicate,
array × array |
| < | oelem | predicate,
elem × elem |
| < | list-of-natarray | predicate,
list-of-natarray × list-of-natarray |
| > | nat | predicate,
nat × nat |
| EndIncreasingPart | challenge1 | partial function,
array → nat |
| PosNextGreaterElem | challenge1 | partial function,
nat × array → nat |
| [] | list-data | constant,
list |
| [] | array-listops | constant,
array |
| [] | list-of-natarray | constant,
list-of-natarray |
| \ | list-set | function,
list × list → list |
| \ | list-as-arrayinstance | function,
array × array → array |
| \ | set-union | function,
set × set → set |
| \ | array-set | function,
array-set × array-set → array-set |
| ] | list-getput | partial function,
list × nat × elem → list |
| ] | list-getput | partial function,
list × nat → elem |
| ] | array | partial function,
array × nat × elem → array |
| ] | array | partial function,
array × nat → elem |
| ] | natarray | partial function,
array × nat × nat → array |
| ] | natarray | partial function,
array × nat → nat |
| a | elem | variable,
elem |
| a | list-data | variable,
elem |
| a | list-getput | variable,
elem |
| a | list | variable,
elem |
| a | list-dup | variable,
elem |
| a | list-last | variable,
elem |
| a | list-del | variable,
elem |
| a | list-set | variable,
elem |
| a | list-perm | variable,
elem |
| a | array | variable,
elem |
| a | array-copy | variable,
elem |
| a | array-listops | variable,
elem |
| a | oelem | variable,
elem |
| a | olist | variable,
elem |
| allPerms | challenge1 | function,
array → array-set |
| ar | array | variable,
array |
| ar | array-copy | variable,
array |
| ar | array-listops | variable,
array |
| ar | get-outside | variable,
array |
| ar | challenge1 | variable,
array |
| array | array | sort,
|
| array-set | array-set | sort,
|
| arx | challenge1 | variable,
list-of-natarray |
| b | elem | variable,
elem |
| b | list-getput | variable,
elem |
| b | list | variable,
elem |
| b | list-dup | variable,
elem |
| b | list-last | variable,
elem |
| b | list-del | variable,
elem |
| b | list-set | variable,
elem |
| b | list-perm | variable,
elem |
| b | olist | variable,
elem |
| butlastn | list-last | partial function,
nat × list → list |
| butlastn | list-as-arrayinstance | partial function,
nat × array → array |
| butlastn | list-of-natarray | partial function,
nat × list-of-natarray → list-of-natarray |
| c | elem | variable,
elem |
| c | list-getput | variable,
elem |
| c | list | variable,
elem |
| c | list-dup | variable,
elem |
| c | list-last | variable,
elem |
| c | list-del | variable,
elem |
| c | list-set | variable,
elem |
| c | list-perm | variable,
elem |
| c | olist | variable,
elem |
| cmp | array-copy | partial predicate,
array × elem × nat × nat |
| cmp | array-copy | partial predicate,
array × nat × array × nat × nat |
| cmp | array-copy | predicate,
array × elem |
| cmp | natarray | partial predicate,
array × nat × nat × nat |
| cmp | natarray | predicate,
array × nat |
| copy | array-copy | partial function,
array × nat × array × nat × nat → array |
| disj | list-dup | predicate,
list × list |
| disj | list-as-arrayinstance | predicate,
array × array |
| disj | list-of-natarray | predicate,
list-of-natarray × list-of-natarray |
| dups | list-dup | predicate,
list |
| dups | list-as-arrayinstance | predicate,
array |
| dups | list-of-natarray | predicate,
list-of-natarray |
| elem | elem | sort,
|
| fill | array-copy | partial function,
array × elem × nat × nat → array |
| fill | array-copy | function,
array × elem → array |
| fill | natarray | partial function,
array × nat × nat × nat → array |
| fill | natarray | function,
array × nat → array |
| fillfirst | list-last | function,
nat × elem × list → list |
| fillfirst | list-as-arrayinstance | function,
nat × elem × array → array |
| fillfirst | natarray | function,
nat × nat × array → array |
| fillfirst | list-of-natarray | function,
nat × array × list-of-natarray → list-of-natarray |
| filter | list-set | function,
list × list → list |
| filter | list-as-arrayinstance | function,
array × array → array |
| firstn | list-del | partial function,
nat × list → list |
| firstn | list-as-arrayinstance | partial function,
nat × array → array |
| frome | list-del | function,
list × elem → list |
| frome | list-as-arrayinstance | function,
array × elem → array |
| frome | natarray | function,
array × nat → array |
| greaterPerms | challenge1 | function,
array → array-set |
| hasGreaterElem | challenge1 | predicate,
array × nat |
| hasNext | challenge1 | variable,
bool |
| head | list-data | variable,
elem |
| i | challenge1 | variable,
nat |
| idrange | array-copy | partial predicate,
array × nat × nat |
| id○ | array-copy | predicate,
array × array × nat × nat |
| id○ | array-copy | predicate,
array × array × nat |
| ins≤ | natarray | function,
nat × array → array |
| ins≤ | olist | function,
elem × list → list |
| ins≤ | oarray-sort | function,
elem × array → array |
| j | challenge1 | variable,
nat |
| lastn | list-del | partial function,
nat × list → list |
| lastn | list-as-arrayinstance | partial function,
nat × array → array |
| list | list-data | sort,
|
| list-of-natarray | list-of-natarray | sort,
|
| listofar | challenge1 | variable,
list-of-natarray |
| m | list-getput | variable,
nat |
| m | list-last | variable,
nat |
| m | list-del | variable,
nat |
| m | list-set | variable,
nat |
| m | list-perm | variable,
nat |
| m | array | variable,
nat |
| m | array-copy | variable,
nat |
| m | challenge1 | variable,
nat |
| max | challenge1 | predicate,
array |
| merge | olist | function,
list × list → list |
| merge | oarray-sort | function,
array × array → array |
| min | challenge1 | predicate,
array |
| mkarray | array | function,
nat → array |
| mklist | list-last | function,
elem × nat → list |
| mklist | list-as-arrayinstance | function,
elem × nat → array |
| mklist | natarray | function,
nat × nat → array |
| mklist | list-of-natarray | function,
array × nat → list-of-natarray |
| n | list-data | variable,
nat |
| n | list-getput | variable,
nat |
| n | list-last | variable,
nat |
| n | list-del | variable,
nat |
| n | list-set | variable,
nat |
| n | list-perm | variable,
nat |
| n | array | variable,
nat |
| n | array-copy | variable,
nat |
| n | array-listops | variable,
nat |
| n | get-outside | variable,
nat |
| n | challenge1 | variable,
nat |
| nat | nat-basic | sort,
|
| next# | challenge1 | procedure,
: array : bool |
| nextperm | challenge1 | predicate,
array × array |
| ordered< | olist | predicate,
list |
| ordered< | oarray-sort | predicate,
array |
| ordered≤ | challenge1 | predicate,
list-of-natarray |
| ordered≤ | olist | predicate,
list |
| ordered≤ | oarray-sort | predicate,
array |
| perm | list-perm | predicate,
list × list |
| perm | list-as-arrayinstance | predicate,
array × array |
| permut# | challenge1 | procedure,
: array × list-of-natarray |
| pos | list-del | function,
elem × list → nat |
| pos | list-as-arrayinstance | function,
elem × array → nat |
| pos | natarray | function,
nat × array → nat |
| restn | list-del | partial function,
nat × list → list |
| restn | list-as-arrayinstance | partial function,
nat × array → array |
| rev | list-last | function,
list → list |
| rev | list-as-arrayinstance | function,
array → array |
| rev | list-of-natarray | function,
list-of-natarray → list-of-natarray |
| rmdup | list-dup | function,
list → list |
| rmdup | list-as-arrayinstance | function,
array → array |
| rmdup | list-of-natarray | function,
list-of-natarray → list-of-natarray |
| s | set-basic | variable,
set |
| set | set-basic | sort,
|
| smallerPerms | challenge1 | function,
array → array-set |
| sort# | challenge1 | procedure,
: array |
| subarray | array-copy | partial function,
array × nat × nat → array |
| sublist | list-del | partial function,
nat × nat × list → list |
| sublist | list-as-arrayinstance | partial function,
nat × nat × array → array |
| tail | list-data | variable,
list |
| temp | challenge1 | variable,
nat |
| x | list-data | variable,
list |
| x | list-getput | variable,
list |
| x | list | variable,
list |
| x | list-dup | variable,
list |
| x | list-last | variable,
list |
| x | list-del | variable,
list |
| x | list-set | variable,
list |
| x | list-perm | variable,
list |
| x | olist | variable,
list |
| y | list-data | variable,
list |
| y | list-getput | variable,
list |
| y | list | variable,
list |
| y | list-dup | variable,
list |
| y | list-last | variable,
list |
| y | list-del | variable,
list |
| y | list-set | variable,
list |
| y | list-perm | variable,
list |
| y | olist | variable,
list |
| z | list-data | variable,
list |
| z | list-getput | variable,
list |
| z | list | variable,
list |
| z | list-dup | variable,
list |
| z | list-last | variable,
list |
| z | list-del | variable,
list |
| z | list-set | variable,
list |
| z | list-perm | variable,
list |
| z | olist | variable,
list |
| } | set-union | function,
elem → set |
| } | array-set | function,
array → array-set |
| ∅ | set-basic | constant,
set |
| ∅ | array-set | constant,
array-set |
| ∈ | list | predicate,
elem × list |
| ∈ | list-as-arrayinstance | predicate,
elem × array |
| ∈ | natarray | predicate,
nat × array |
| ∈ | list-of-natarray | predicate,
array × list-of-natarray |
| ∈ | set-basic | predicate,
elem × set |
| ∈ | array-set | predicate,
array × array-set |
| ∩ | set-union | function,
set × set → set |
| ∩ | array-set | function,
array-set × array-set → array-set |
| ∪ | list-set | function,
list × list → list |
| ∪ | list-as-arrayinstance | function,
array × array → array |
| ∪ | set-union | function,
set × set → set |
| ∪ | array-set | function,
array-set × array-set → array-set |
| ≤ | nat | predicate,
nat × nat |
| ≤ | challenge1 | predicate,
array × array |
| ≥ | nat | predicate,
nat × nat |
| ⊆ | list-set | predicate,
list × list |
| ⊆ | list-as-arrayinstance | predicate,
array × array |
| ⊆ | set-basic | predicate,
set × set |
| ⊆ | array-set | predicate,
array-set × array-set |
| ⊆m | list-perm | predicate,
list × list |
| ⊆m | list-as-arrayinstance | predicate,
array × array |
| ⊑ | list-last | predicate,
list × list |
| ⊑ | list-as-arrayinstance | predicate,
array × array |
| ⊑ | list-of-natarray | predicate,
list-of-natarray × list-of-natarray |
| ⊒ | list-last | predicate,
list × list |
| ⊒ | list-as-arrayinstance | predicate,
array × array |
| ⊒ | list-of-natarray | predicate,
list-of-natarray × list-of-natarray |