| symbol | specification | entry |
|---|
| # | array | function,
array → nat |
| # | list-data | function,
list → nat |
| #c | matrix | function,
matrix → nat |
| #clean0rows | ShearSort | function,
matrix × elem → nat |
| #clean1rows | ShearSort | function,
matrix × elem → nat |
| #dirtyrows | ShearSort | function,
matrix × elem → nat |
| #oc | list-perm | function,
elem × list → nat |
| #oc | list-as-arrayinstance | function,
elem × array → nat |
| #r | matrix | function,
matrix → nat |
| % | nat-div | partial function,
nat × nat → nat |
| ' | list | function,
elem → list |
| ' | list-as-arrayinstance | function,
elem → array |
| * | nat-mult | function,
nat × nat → nat |
| + | array-listops | function,
elem × array → array |
| + | list | function,
list × elem → list |
| + | list | function,
list × list → list |
| + | list-data | function,
elem × list → list |
| + | list-as-arrayinstance | function,
array × elem → array |
| + | list-as-arrayinstance | function,
array × array → array |
| + | nat-basic | function,
nat × nat → nat |
| ++ | list-dup | function,
list × elem → list |
| ++ | list-as-arrayinstance | function,
array × elem → array |
| +1 | nat-basic | function,
nat → nat |
| +2 | list | function,
elem × elem → list |
| +2 | list-as-arrayinstance | function,
elem × elem → array |
| - | nat | partial function,
nat × nat → nat |
| -1 | nat-basic | partial function,
nat → nat |
| -1l | list-del | function,
list × elem → list |
| -1l | list-as-arrayinstance | function,
array × elem → array |
| -l | list-del | function,
list × elem → list |
| -l | list-as-arrayinstance | function,
array × elem → 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 |
| .dirtyrows≤ | ShearSort | predicate,
matrix × nat |
| .first | array-listops | partial function,
array → elem |
| .head | list-data | partial function,
list → elem |
| .last | list-last | partial function,
list → elem |
| .last | list-as-arrayinstance | partial function,
array → elem |
| .rest | array-listops | partial function,
array → array |
| .tail | list-data | partial function,
list → list |
| .toArc | rowcol-upd | function,
matrix → array |
| .toArr | rowcol-upd | function,
matrix → array |
| / | nat-div | partial function,
nat × nat → nat |
| /↑ | ShearSort | partial function,
nat × nat → nat |
| 2^ | nat-pot | function,
nat → nat |
| < | array-listops | predicate,
array × array |
| < | oelem | predicate,
elem × elem |
| < | list-data | predicate,
list × list |
| < | nat-basic | predicate,
nat × nat |
| > | nat | predicate,
nat × nat |
| [] | array-listops | constant,
array |
| [] | list-data | constant,
list |
| \ | list-as-arrayinstance | function,
array × array → array |
| \ | list-set | function,
list × list → list |
| ] | 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 |
| ] | matrix | partial function,
matrix × nat × nat × elem → matrix |
| ] | matrix | partial function,
matrix × nat × nat → elem |
| ]c | rowcol-upd | partial function,
matrix × nat × array → matrix |
| ]c | matrix+array | partial function,
matrix × nat → array |
| ]r | rowcol-upd | partial function,
matrix × nat × array → matrix |
| ]r | matrix+array | partial function,
matrix × nat → array |
| ^ | nat-pot | function,
nat × nat → nat |
| a | list-getput | variable,
elem |
| a | ShearSort | variable,
array |
| a | array-listops | variable,
elem |
| a | array | variable,
elem |
| a | list-del | variable,
elem |
| a | olist | variable,
elem |
| a | oelem | variable,
elem |
| a | list-perm | variable,
elem |
| a | list-dup | variable,
elem |
| a | array-copy | variable,
elem |
| a | list | variable,
elem |
| a | olist-min-max | variable,
elem |
| a | elem | variable,
elem |
| a | matrix | variable,
elem |
| a | list-data | variable,
elem |
| a | list-last | variable,
elem |
| a | rowcol-upd | variable,
array |
| a | olist-sort | variable,
elem |
| a | list-set | variable,
elem |
| a | filter-count | variable,
elem |
| ar | array-listops | variable,
array |
| ar | array | variable,
array |
| ar | array-copy | variable,
array |
| ar | get-outside | variable,
array |
| array | array | sort,
|
| asc | ShearSort | variable,
bool |
| b | list-getput | variable,
elem |
| b | list-del | variable,
elem |
| b | olist | variable,
elem |
| b | list-perm | variable,
elem |
| b | list-dup | variable,
elem |
| b | list | variable,
elem |
| b | elem | variable,
elem |
| b | list-last | variable,
elem |
| b | olist-sort | variable,
elem |
| b | list-set | variable,
elem |
| b | filter-count | variable,
elem |
| bound | ShearSort | variable,
nat |
| butlastn | list-last | partial function,
nat × list → list |
| butlastn | list-as-arrayinstance | partial function,
nat × array → array |
| c | list-getput | variable,
elem |
| c | ShearSort | variable,
nat |
| c | list-del | variable,
elem |
| c | olist | variable,
elem |
| c | list-perm | variable,
elem |
| c | list-dup | variable,
elem |
| c | list | variable,
elem |
| c | elem | variable,
elem |
| c | matrix | variable,
nat |
| c | list-last | variable,
elem |
| c | rowcol-upd | variable,
nat |
| c | olist-sort | variable,
elem |
| c | matrix+array | variable,
nat |
| c | list-set | 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 |
| copy | array-copy | partial function,
array × nat × array × nat × nat → array |
| count | oarray-sort | partial function,
array × nat × nat × elem → bool → nat |
| count | oarray-sort | function,
array × elem → bool → nat |
| count | filter-count | partial function,
list × nat × nat × elem → bool → nat |
| count | filter-count | function,
list × elem → bool → nat |
| countevn | ShearSort | partial function,
array × nat × nat × elem → bool → nat |
| countevn | ShearSort | function,
array × elem → bool → nat |
| countodd | ShearSort | partial function,
array × nat × nat × elem → bool → nat |
| countodd | ShearSort | function,
array × elem → bool → nat |
| disj | list-dup | predicate,
list × list |
| disj | list-as-arrayinstance | predicate,
array × array |
| dups | list-dup | predicate,
list |
| dups | list-as-arrayinstance | predicate,
array |
| elem | elem | sort,
|
| even | nat-even | predicate,
nat |
| fill | array-copy | partial function,
array × elem × nat × nat → array |
| fill | array-copy | function,
array × elem → array |
| fillfirst | list-last | function,
nat × elem × list → list |
| fillfirst | list-as-arrayinstance | function,
nat × elem × array → array |
| filter | oarray-sort | function,
array × elem → bool → array |
| filter | list-as-arrayinstance | function,
array × array → array |
| filter | list-set | function,
list × list → list |
| filter | filter-count | function,
list × elem → bool → list |
| 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 |
| head | list-data | variable,
elem |
| i | ShearSort | variable,
elem |
| i | rowcol-upd | variable,
elem |
| idrange | array-copy | partial predicate,
array × nat × nat |
| id○ | array-copy | predicate,
array × array × nat × nat |
| id○ | array-copy | predicate,
array × array × nat |
| ins≤ | olist | function,
elem × list → list |
| ins≤ | oarray-sort | function,
elem × array → array |
| j | ShearSort | variable,
elem |
| j | rowcol-upd | variable,
elem |
| lastn | list-del | partial function,
nat × list → list |
| lastn | list-as-arrayinstance | partial function,
nat × array → array |
| list | list-data | sort,
|
| log | nat-pot | partial function,
nat × nat → nat |
| log2 | nat-pot | partial function,
nat → nat |
| log2↑ | ShearSort | function,
nat → nat |
| m | list-getput | variable,
nat |
| m | ShearSort | variable,
nat |
| m | nat-div | variable,
nat |
| m | array | variable,
nat |
| m | list-del | variable,
nat |
| m | nat-mult | variable,
nat |
| m | list-perm | variable,
nat |
| m | array-copy | variable,
nat |
| m | list-last | variable,
nat |
| m | rowcol-upd | variable,
nat |
| m | nat-pot | variable,
nat |
| m | nat-even | variable,
nat |
| m | list-set | variable,
nat |
| m | filter-count | variable,
nat |
| matrix | matrix | sort,
|
| max | oelem-min-max | function,
elem × elem → elem |
| max | olist-min-max | partial function,
list → elem |
| max | oarray-sort | partial function,
array → elem |
| max | nat-even | function,
nat × nat → nat |
| merge | olist | function,
list × list → list |
| merge | oarray-sort | function,
array × array → array |
| min | oelem-min-max | function,
elem × elem → elem |
| min | olist-min-max | partial function,
list → elem |
| min | oarray-sort | partial function,
array → elem |
| min | nat-even | function,
nat × nat → nat |
| mkarray | array | function,
nat → array |
| mklist | list-last | function,
elem × nat → list |
| mklist | list-as-arrayinstance | function,
elem × nat → array |
| mkmatrix | matrix | function,
nat × nat × elem → matrix |
| mx | ShearSort | variable,
matrix |
| mx | matrix | variable,
matrix |
| mx | rowcol-upd | variable,
matrix |
| mx | matrix+array | variable,
matrix |
| n | list-getput | variable,
nat |
| n | ShearSort | variable,
nat |
| n | array-listops | variable,
nat |
| n | nat-div | variable,
nat |
| n | array | variable,
nat |
| n | list-del | variable,
nat |
| n | olist | variable,
nat |
| n | nat-mult | variable,
nat |
| n | list-perm | variable,
nat |
| n | array-copy | variable,
nat |
| n | list-data | variable,
nat |
| n | list-last | variable,
nat |
| n | rowcol-upd | variable,
nat |
| n | nat-pot | variable,
nat |
| n | get-outside | variable,
nat |
| n | nat-even | variable,
nat |
| n | list-set | variable,
nat |
| n | filter-count | variable,
nat |
| nat | nat-basic | sort,
|
| odd | nat-even | predicate,
nat |
| ordered< | olist | predicate,
list |
| ordered< | oarray-sort | predicate,
array |
| ordered≤ | olist | predicate,
list |
| ordered≤ | oarray-sort | predicate,
array |
| p | ShearSort | variable,
elem → bool |
| p | filter-count | variable,
elem → bool |
| perm | list-perm | predicate,
list × list |
| perm | list-as-arrayinstance | predicate,
array × array |
| pos | list-del | function,
elem × list → nat |
| pos | list-as-arrayinstance | function,
elem × array → nat |
| r | ShearSort | variable,
nat |
| r | matrix | variable,
nat |
| r | rowcol-upd | variable,
nat |
| r | matrix+array | variable,
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 |
| rmdup | list-dup | function,
list → list |
| rmdup | list-as-arrayinstance | function,
array → array |
| rowsincreasing | ShearSort | predicate,
matrix × nat |
| scolsorted | ShearSort | predicate,
matrix × nat × matrix |
| shearsort# | ShearSort | procedure,
: matrix |
| sort | oarray-sort | function,
array → array |
| sort | olist-sort | function,
list → list |
| sortcol# | ShearSort | procedure,
nat : matrix |
| sortcols# | ShearSort | procedure,
: matrix |
| sortrow# | ShearSort | procedure,
nat × bool : matrix |
| sortrows# | ShearSort | procedure,
: matrix |
| sortrowssnake# | ShearSort | procedure,
: matrix |
| srowsorted | ShearSort | predicate,
matrix × nat × matrix |
| 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 |
| toArc | rowcol-upd | function,
matrix × nat → array |
| toArr | rowcol-upd | function,
matrix × nat → array |
| x | list-getput | variable,
list |
| x | list-del | variable,
list |
| x | olist | variable,
list |
| x | list-perm | variable,
list |
| x | list-dup | variable,
list |
| x | list | variable,
list |
| x | olist-min-max | variable,
list |
| x | list-data | variable,
list |
| x | list-last | variable,
list |
| x | olist-sort | variable,
list |
| x | list-set | variable,
list |
| x | filter-count | variable,
list |
| y | list-getput | variable,
list |
| y | list-del | variable,
list |
| y | olist | variable,
list |
| y | list-perm | variable,
list |
| y | list-dup | variable,
list |
| y | list | variable,
list |
| y | list-data | variable,
list |
| y | list-last | variable,
list |
| y | olist-sort | variable,
list |
| y | list-set | variable,
list |
| y | filter-count | variable,
list |
| z | list-getput | variable,
list |
| z | list-del | variable,
list |
| z | olist | variable,
list |
| z | list-perm | variable,
list |
| z | list-dup | variable,
list |
| z | list | variable,
list |
| z | list-data | variable,
list |
| z | list-last | variable,
list |
| z | olist-sort | variable,
list |
| z | list-set | variable,
list |
| ∈ | list | predicate,
elem × list |
| ∈ | list-as-arrayinstance | predicate,
elem × array |
| ∪ | list-as-arrayinstance | function,
array × array → array |
| ∪ | list-set | function,
list × list → list |
| ≤ | nat | predicate,
nat × nat |
| ≥ | nat | predicate,
nat × nat |
| ⊆ | list-as-arrayinstance | predicate,
array × array |
| ⊆ | list-set | predicate,
list × list |
| ⊆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-last | predicate,
list × list |
| ⊒ | list-as-arrayinstance | predicate,
array × array |