| symbol | specification | entry |
|---|
| # | datastream | function,
datastream → natinf |
| # | datastream | function,
datalist → nat |
| # | stream | function,
stream → natinf |
| # | nat-set | function,
nat-set → nat |
| # | alink-set | function,
alink-set → nat |
| # | buffer | function,
buffer → nat |
| # | stringset | function,
stringset → nat |
| # | path | function,
path → nat |
| # | list-data | function,
list → nat |
| # | dataarray | function,
dataarray → nat |
| # | dataset | function,
dataset → nat |
| # | array | function,
array → nat |
| # | set-basic | function,
set → nat |
| # | lp-array | function,
lp-array → nat |
| # | buffer-inf | function,
buffer-inf → natinf |
| # | buffer-inf | function,
datalist → nat |
| # | nat-list-set | function,
nat-set → nat |
| # | nat-list-set | function,
nat-list → nat |
| # | key-set | function,
key-set → nat |
| # | address-list-set | function,
address-set → nat |
| # | address-list-set | function,
address-list → nat |
| # | laddress-list | function,
laddress-list → nat |
| # | branch-array | function,
branch-array → nat |
| # | store | function,
store → nat |
| # | node-store | function,
address-set → nat |
| # | node-store | function,
node-store → nat |
| # | key-list-set | function,
key-set → nat |
| # | key-list-set | function,
key-list → nat |
| # | string | function,
string → nat |
| # | node-list | function,
node-list → nat |
| # | node-index | function,
key-set → nat |
| # | node-index | function,
node-index → nat |
| % | nat-div | partial function,
nat × nat → nat |
| ' | datastream | function,
data → datalist |
| ' | path | function,
string → path |
| ' | list | function,
elem → list |
| ' | buffer-inf | function,
data → datalist |
| ' | nat-list-set | function,
nat → nat-list |
| ' | address-list-set | function,
address → address-list |
| ' | laddress-list | function,
laddress → laddress-list |
| ' | key-list-set | function,
key → key-list |
| ' | string | function,
char → string |
| ' | node-list | function,
node → node-list |
| * | nat-mult | function,
nat × nat → nat |
| + | datastream | function,
datastream × datastream → datastream |
| + | datastream | function,
data × datastream → datastream |
| + | datastream | function,
datalist × data → datalist |
| + | datastream | function,
datalist × datalist → datalist |
| + | datastream | function,
data × datalist → datalist |
| + | stream | function,
stream × stream → stream |
| + | stream | function,
elem × stream → stream |
| + | nat-inf | function,
natinf × natinf → natinf |
| + | buffer | function,
buffer × buffer → buffer |
| + | path | function,
path × string → path |
| + | path | function,
path × path → path |
| + | path | function,
string × path → path |
| + | list | function,
list × elem → list |
| + | list | function,
list × list → list |
| + | list-data | function,
elem × list → list |
| + | dataarray | function,
dataarray × dataarray → dataarray |
| + | array-splice | function,
array × array → array |
| + | buffer-inf | function,
buffer-inf × buffer-inf → buffer-inf |
| + | buffer-inf | function,
data × buffer-inf → buffer-inf |
| + | buffer-inf | function,
datalist × data → datalist |
| + | buffer-inf | function,
datalist × datalist → datalist |
| + | buffer-inf | function,
data × datalist → datalist |
| + | nat-list-set | function,
nat-list × nat → nat-list |
| + | nat-list-set | function,
nat-list × nat-list → nat-list |
| + | nat-list-set | function,
nat × nat-list → nat-list |
| + | address-list-set | function,
address-list × address → address-list |
| + | address-list-set | function,
address-list × address-list → address-list |
| + | address-list-set | function,
address × address-list → address-list |
| + | laddress-list | function,
laddress-list × laddress → laddress-list |
| + | laddress-list | function,
laddress-list × laddress-list → laddress-list |
| + | laddress-list | function,
laddress × laddress-list → laddress-list |
| + | key-list-set | function,
key-list × key → key-list |
| + | key-list-set | function,
key-list × key-list → key-list |
| + | key-list-set | function,
key × key-list → key-list |
| + | nat-basic | function,
nat × nat → nat |
| + | string | function,
string × char → string |
| + | string | function,
string × string → string |
| + | string | function,
char × string → string |
| + | node-list | function,
node-list × node → node-list |
| + | node-list | function,
node-list × node-list → node-list |
| + | node-list | function,
node × node-list → node-list |
| ++ | datastream | function,
datalist × data → datalist |
| ++ | nat-set | function,
nat-set × nat → nat-set |
| ++ | alink-set | function,
alink-set × alink → alink-set |
| ++ | stringset | function,
stringset × string → stringset |
| ++ | path | function,
path × string → path |
| ++ | list-dup | function,
list × elem → list |
| ++ | dataset | function,
dataset × data → dataset |
| ++ | set-basic | function,
set × elem → set |
| ++ | buffer-inf | function,
datalist × data → datalist |
| ++ | nat-list-set | function,
nat-set × nat → nat-set |
| ++ | nat-list-set | function,
nat-list × nat → nat-list |
| ++ | key-set | function,
key-set × key → key-set |
| ++ | address-list-set | function,
address-set × address → address-set |
| ++ | address-list-set | function,
address-list × address → address-list |
| ++ | laddress-list | function,
laddress-list × laddress → laddress-list |
| ++ | node-store | function,
address-set × address → address-set |
| ++ | key-list-set | function,
key-set × key → key-set |
| ++ | key-list-set | function,
key-list × key → key-list |
| ++ | string | function,
string × char → string |
| ++ | node-list | function,
node-list × node → node-list |
| ++ | node-index | function,
key-set × key → key-set |
| +1 | nat-basic | function,
nat → nat |
| +2 | datastream | function,
data × data → datalist |
| +2 | path | function,
string × string → path |
| +2 | list | function,
elem × elem → list |
| +2 | buffer-inf | function,
data × data → datalist |
| +2 | nat-list-set | function,
nat × nat → nat-list |
| +2 | address-list-set | function,
address × address → address-list |
| +2 | laddress-list | function,
laddress × laddress → laddress-list |
| +2 | key-list-set | function,
key × key → key-list |
| +2 | string | function,
char × char → string |
| +2 | node-list | function,
node × node → node-list |
| - | nat | partial function,
nat × nat → nat |
| -- | nat-set | function,
nat-set × nat → nat-set |
| -- | alink-set | function,
alink-set × alink → alink-set |
| -- | stringset | function,
stringset × string → stringset |
| -- | dataset | function,
dataset × data → dataset |
| -- | set-union | function,
set × elem → set |
| -- | nat-list-set | function,
nat-set × nat → nat-set |
| -- | key-set | function,
key-set × key → key-set |
| -- | address-list-set | function,
address-set × address → address-set |
| -- | store | function,
store × elem → store |
| -- | node-store | function,
address-set × address → address-set |
| -- | node-store | function,
node-store × address → node-store |
| -- | key-list-set | function,
key-set × key → key-set |
| -- | node-index | function,
key-set × key → key-set |
| -- | node-index | function,
node-index × key → node-index |
| -1 | nat-basic | partial function,
nat → nat |
| -1l | datastream | function,
datalist × data → datalist |
| -1l | path | function,
path × string → path |
| -1l | list-del | function,
list × elem → list |
| -1l | buffer-inf | function,
datalist × data → datalist |
| -1l | nat-list-set | function,
nat-list × nat → nat-list |
| -1l | address-list-set | function,
address-list × address → address-list |
| -1l | laddress-list | function,
laddress-list × laddress → laddress-list |
| -1l | key-list-set | function,
key-list × key → key-list |
| -1l | string | function,
string × char → string |
| -1l | node-list | function,
node-list × node → node-list |
| -l | datastream | function,
datalist × data → datalist |
| -l | path | function,
path × string → path |
| -l | list-del | function,
list × elem → list |
| -l | buffer-inf | function,
datalist × data → datalist |
| -l | nat-list-set | function,
nat-list × nat → nat-list |
| -l | address-list-set | function,
address-list × address → address-list |
| -l | laddress-list | function,
laddress-list × laddress → laddress-list |
| -l | key-list-set | function,
key-list × key → key-list |
| -l | string | function,
string × char → string |
| -l | node-list | function,
node-list × node → node-list |
| -p | datastream | function,
datalist × nat → datalist |
| -p | path | function,
path × nat → path |
| -p | list-del | function,
list × nat → list |
| -p | buffer-inf | function,
datalist × nat → datalist |
| -p | nat-list-set | function,
nat-list × nat → nat-list |
| -p | address-list-set | function,
address-list × nat → address-list |
| -p | laddress-list | function,
laddress-list × nat → laddress-list |
| -p | key-list-set | function,
key-list × nat → key-list |
| -p | string | function,
string × nat → string |
| -p | node-list | function,
node-list × nat → node-list |
| .adr | branch | function,
branch → address |
| .adr:= | branch | function,
branch × address → branch |
| .ar | datastream-conv | function,
datastream → dataarray |
| .branch? | branch | predicate,
branch |
| .branches | indexnode | function,
index-node → branch-array |
| .branches:= | indexnode | function,
index-node × branch-array → index-node |
| .buf | buffer-inf-conv | function,
buffer-inf → buffer |
| .butlast | datastream | partial function,
datalist → datalist |
| .butlast | list-last | partial function,
list → list |
| .butlast | buffer-inf | partial function,
datalist → datalist |
| .butlast | nat-list-set | partial function,
nat-list → nat-list |
| .butlast | address-list-set | partial function,
address-list → address-list |
| .butlast | laddress-list | partial function,
laddress-list → laddress-list |
| .butlast | key-list-set | partial function,
key-list → key-list |
| .butlast | string | partial function,
string → string |
| .butlast | node-list | partial function,
node-list → node-list |
| .butmax | oset | partial function,
set → set |
| .butmax | nat-set | partial function,
nat-set → nat-set |
| .butmin | oset | partial function,
set → set |
| .butmin | nat-set | partial function,
nat-set → nat-set |
| .char1 | string | partial function,
string → char |
| .data | node | partial function,
node → buffer |
| .data:= | node | partial function,
node × buffer → node |
| .data? | key | predicate,
key |
| .data? | node | predicate,
node |
| .dentry? | dentry | predicate,
dentry |
| .dentry? | key | predicate,
key |
| .dentry? | node | predicate,
node |
| .directory | inode | predicate,
inode |
| .directory | node | partial predicate,
node |
| .directory:= | inode | function,
inode × bool → inode |
| .directory:= | node | partial function,
node × bool → node |
| .end | groupnode | predicate,
group-node |
| .end:= | groupnode | function,
group-node × bool → group-node |
| .entry? | branch | predicate,
branch |
| .f | datastream | partial function,
datastream → nat → data |
| .f | stream-basic | partial function,
stream → nat → elem |
| .f | buffer-inf | partial function,
buffer-inf → nat → data |
| .filter | array-indices | function,
nat-set × nat → bool → nat-set |
| .flags | lprops | function,
lprops → lpropflags |
| .flags:= | lprops | function,
lprops × lpropflags → lprops |
| .gcheapidx | lprops | function,
lprops → nat |
| .gcheapidx:= | lprops | function,
lprops × nat → lprops |
| .head | datastream | partial function,
datalist → data |
| .head | path | partial function,
path → string |
| .head | list-data | partial function,
list → elem |
| .head | buffer-inf | partial function,
datalist → data |
| .head | nat-list-set | partial function,
nat-list → nat |
| .head | address-list-set | partial function,
address-list → address |
| .head | laddress-list | partial function,
laddress-list → laddress |
| .head | key-list-set | partial function,
key-list → key |
| .head | node-list | partial function,
node-list → node |
| .indicesWhere | lp-array | function,
lp-array × lprops → bool × nat → nat-list |
| .indicesWhere | lp-array | function,
lp-array × lprops → bool → nat-list |
| .indicesWhere | array-indices | function,
array × elem → bool × nat → nat-list |
| .indicesWhere | array-indices | function,
array × elem → bool → nat-list |
| .ino | file | function,
file → nat |
| .ino | dentry | partial function,
dentry → nat |
| .ino | inode | function,
inode → nat |
| .ino | key | function,
key → nat |
| .ino | node | partial function,
node → nat |
| .ino:= | file | function,
file × nat → file |
| .ino:= | dentry | partial function,
dentry × nat → dentry |
| .ino:= | inode | function,
inode × nat → inode |
| .ino:= | key | function,
key × nat → key |
| .ino:= | node | partial function,
node × nat → node |
| .inode? | key | predicate,
key |
| .inode? | node | predicate,
node |
| .key | branch | function,
branch → key |
| .key | node | function,
node → key |
| .key:= | branch | function,
branch × key → branch |
| .key:= | node | function,
node × key → node |
| .l | datastream | partial function,
datastream → datalist |
| .l | stream-basic | partial function,
stream → list |
| .l | buffer-inf | partial function,
buffer-inf → datalist |
| .last | datastream | partial function,
datalist → data |
| .last | path | partial function,
path → string |
| .last | list-last | partial function,
list → elem |
| .last | buffer-inf | partial function,
datalist → data |
| .last | nat-list-set | partial function,
nat-list → nat |
| .last | address-list-set | partial function,
address-list → address |
| .last | laddress-list | partial function,
laddress-list → laddress |
| .last | key-list-set | partial function,
key-list → key |
| .last | string | partial function,
string → char |
| .last | node-list | partial function,
node-list → node |
| .leaf | indexnode | predicate,
index-node |
| .leaf:= | indexnode | function,
index-node × bool → index-node |
| .lnum | address-data | function,
address → nat |
| .lnum:= | address-data | function,
address × nat → address |
| .map | lp-array | function,
lp-array × lprops → lprops → lp-array |
| .map | array-indices | function,
array × elem → elem → array |
| .map | array-indices | function,
nat-set × nat → nat → nat-set |
| .mapIf | lp-array | function,
lp-array × lprops → bool × lprops → lprops × nat → lp-array |
| .mapIf | lp-array | function,
lp-array × lprops → bool × lprops → lprops → lp-array |
| .mapIf | array-indices | function,
array × elem → bool × elem → elem × nat → array |
| .mapIf | array-indices | function,
array × elem → bool × elem → elem → array |
| .mapIndices | lp-array | function,
lp-array × nat-set × lprops → lprops → lp-array |
| .mapIndices | lp-array | function,
lp-array × nat-list × lprops → lprops → lp-array |
| .mapIndices | array-indices | function,
array × nat-set × elem → elem → array |
| .mapIndices | array-indices | function,
array × nat-list × elem → elem → array |
| .max | oset | partial function,
set → elem |
| .max | nat-set | partial function,
nat-set → nat |
| .meta | inode | function,
inode → metadata |
| .meta | node | partial function,
node → metadata |
| .meta:= | inode | function,
inode × metadata → inode |
| .meta:= | node | partial function,
node × metadata → node |
| .min | oset | partial function,
set → elem |
| .min | nat-set | partial function,
nat-set → nat |
| .mode | file | function,
file → file-mode |
| .mode:= | file | function,
file × file-mode → file |
| .n | nat-inf | partial function,
natinf → nat |
| .name | alink | function,
alink → string |
| .name | dentry | function,
dentry → string |
| .name | key | partial function,
key → string |
| .name:= | dentry | function,
dentry × string → dentry |
| .name:= | key | partial function,
key × string → key |
| .nd | groupnode | function,
group-node → node |
| .nd:= | groupnode | function,
group-node × node → group-node |
| .negdentry? | dentry | predicate,
dentry |
| .nlink | inode | function,
inode → nat |
| .nlink | node | partial function,
node → nat |
| .nlink:= | inode | function,
inode × nat → inode |
| .nlink:= | node | partial function,
node × nat → node |
| .nsubdirs | inode | function,
inode → nat |
| .nsubdirs | node | partial function,
node → nat |
| .nsubdirs:= | inode | function,
inode × nat → inode |
| .nsubdirs:= | node | partial function,
node × nat → node |
| .off | laddress | function,
laddress → nat |
| .off:= | laddress | function,
laddress × nat → laddress |
| .part | key | partial function,
key → nat |
| .part:= | key | partial function,
key × nat → key |
| .pino | alink | function,
alink → nat |
| .pos | file | function,
file → nat |
| .pos | address-data | function,
address → nat |
| .pos:= | file | function,
file × nat → file |
| .pos:= | address-data | function,
address × nat → address |
| .ref-size | lprops | function,
lprops → nat |
| .ref-size:= | lprops | function,
lprops × nat → lprops |
| .rstring | string | partial function,
string → string |
| .size | inode | function,
inode → nat |
| .size | lprops | function,
lprops → nat |
| .size | address-data | function,
address → nat |
| .size | laddress | function,
laddress → nat |
| .size | node | partial function,
node → nat |
| .size:= | inode | function,
inode × nat → inode |
| .size:= | lprops | function,
lprops × nat → lprops |
| .size:= | address-data | function,
address × nat → address |
| .size:= | laddress | function,
laddress × nat → laddress |
| .size:= | node | partial function,
node × nat → node |
| .sqnum | groupnode | function,
group-node → nat |
| .sqnum:= | groupnode | function,
group-node × nat → group-node |
| .start | groupnode | predicate,
group-node |
| .start:= | groupnode | function,
group-node × bool → group-node |
| .tail | datastream | partial function,
datalist → datalist |
| .tail | path | partial function,
path → path |
| .tail | list-data | partial function,
list → list |
| .tail | buffer-inf | partial function,
datalist → datalist |
| .tail | nat-list-set | partial function,
nat-list → nat-list |
| .tail | address-list-set | partial function,
address-list → address-list |
| .tail | laddress-list | partial function,
laddress-list → laddress-list |
| .tail | key-list-set | partial function,
key-list → key-list |
| .tail | node-list | partial function,
node-list → node-list |
| .toSet | nat-list-set | function,
nat-list → nat-set |
| .toSet | address-list-set | function,
address-list → address-set |
| .toSet | list+set | function,
list → set |
| .toSet | key-list-set | function,
key-list → key-set |
| .toString | debug | function,
nat → string |
| .trunc? | node | predicate,
node |
| .usedsize | indexnode | function,
index-node → nat |
| .usedsize:= | indexnode | function,
index-node × nat → index-node |
| / | nat-div | partial function,
nat × nat → nat |
| < | datastream | predicate,
datalist × datalist |
| < | nat-inf | predicate,
natinf × natinf |
| < | oset | predicate,
set × elem |
| < | oset | predicate,
elem × set |
| < | oelem | predicate,
elem × elem |
| < | nat-set | predicate,
nat-set × nat |
| < | nat-set | predicate,
nat × nat-set |
| < | path | predicate,
path × path |
| < | list-data | predicate,
list × list |
| < | buffer-inf | predicate,
datalist × datalist |
| < | nat-list-set | predicate,
nat-list × nat-list |
| < | address-list-set | predicate,
address-list × address-list |
| < | nat-list-less | predicate,
nat-list × nat |
| < | laddress-list | predicate,
laddress-list × laddress-list |
| < | key-list-set | predicate,
key-list × key-list |
| < | nat-basic | predicate,
nat × nat |
| < | node-list | predicate,
node-list × node-list |
| > | nat | predicate,
nat × nat |
| @ | address-data | function,
nat × nat × nat → address |
| @ | laddress | function,
nat × nat → laddress |
| ADR_DUMMY | constants | constant,
address |
| BRANCH_SIZE | constants | constant,
nat |
| Boolvar | encoding-nat | variable,
bool,flexible |
| EACCESS | error | constant,
error |
| EBADFD | error | constant,
error |
| EB_PAGE_SIZE | eraseblock | constant,
nat |
| ECOMMIT | error | constant,
error |
| EEXISTS | error | constant,
error |
| EFAIL | error | constant,
error |
| EINVAL | error | constant,
error |
| EIO | error | constant,
error |
| EISDIR | error | constant,
error |
| ENCODED_ELEM_ALIGNMENT | encoding-elem-alignment | constant,
nat |
| ENCODED_ELEM_SIZE | encoding-elem-size | constant,
nat |
| ENCODED_NAT_SIZE | encoding-nat | constant,
nat |
| ENOENT | error | constant,
error |
| ENOMEM | error | constant,
error |
| ENOSPC | error | constant,
error |
| ENOTDIR | error | constant,
error |
| ENOTEMPTY | error | constant,
error |
| EROFS | error | constant,
error |
| ERR | error-class | variable,
error,flexible |
| ERR0 | error-class | variable,
error,flexible |
| ESUCCESS | error | constant,
error |
| EUCLEAN | error | constant,
error |
| LEB_SIZE | eraseblock | constant,
nat |
| LP_FREE | lprops | constant,
lpropflags |
| LP_GROUP_NODES | lprops | constant,
lpropflags |
| LP_INDEX_NODES | lprops | constant,
lpropflags |
| MIN_SIZE | constants | constant,
nat |
| MODE_R | file-mode | constant,
file-mode |
| MODE_RW | file-mode | constant,
file-mode |
| MODE_W | file-mode | constant,
file-mode |
| PAGES_PER_LEB | eraseblock | constant,
nat |
| PAGES_PER_PEB | eraseblock | constant,
nat |
| PEB_SIZE | eraseblock | constant,
nat |
| ROOT_INO | root-ino | constant,
nat |
| SEEK_CUR | seekflag | constant,
seekflag |
| SEEK_END | seekflag | constant,
seekflag |
| SEEK_SET | seekflag | constant,
seekflag |
| VFS_PAGE_SIZE | page | constant,
nat |
| [] | datastream | constant,
datastream |
| [] | datastream | constant,
datalist |
| [] | stream | constant,
stream |
| [] | list-data | constant,
list |
| [] | buffer-inf | constant,
buffer-inf |
| [] | buffer-inf | constant,
datalist |
| [] | nat-list-set | constant,
nat-list |
| [] | address-list-set | constant,
address-list |
| [] | laddress-list | constant,
laddress-list |
| [] | key-list-set | constant,
key-list |
| [] | node-list | constant,
node-list |
| \ | nat-set | function,
nat-set × nat-set → nat-set |
| \ | alink-set | function,
alink-set × alink-set → alink-set |
| \ | stringset | function,
stringset × stringset → stringset |
| \ | dataset | function,
dataset × dataset → dataset |
| \ | set-union | function,
set × set → set |
| \ | nat-list-set | function,
nat-set × nat-set → nat-set |
| \ | key-set | function,
key-set × key-set → key-set |
| \ | address-list-set | function,
address-set × address-set → address-set |
| \ | store+set | function,
store × set → store |
| \ | node-store | function,
node-store × address-set → node-store |
| \ | node-store | function,
address-set × address-set → address-set |
| \ | key-list-set | function,
key-set × key-set → key-set |
| \ | node-index | function,
node-index × key-set → node-index |
| \ | node-index | function,
key-set × key-set → key-set |
| ] | datastream | partial function,
datastream × nat × data → datastream |
| ] | datastream | partial function,
datastream × nat → data |
| ] | datastream | partial function,
datalist × nat × data → datalist |
| ] | datastream | partial function,
datalist × nat → data |
| ] | stream | partial function,
stream × nat × elem → stream |
| ] | stream | partial function,
stream × nat → elem |
| ] | buffer | partial function,
buffer × nat × data → buffer |
| ] | buffer | partial function,
buffer × nat → data |
| ] | path | partial function,
path × nat × string → path |
| ] | path | partial function,
path × nat → string |
| ] | list-del | partial function,
list × nat × elem → list |
| ] | list-del | partial function,
list × nat → elem |
| ] | dataarray | partial function,
dataarray × nat × data → dataarray |
| ] | dataarray | partial function,
dataarray × nat → data |
| ] | array | partial function,
array × nat × elem → array |
| ] | array | partial function,
array × nat → elem |
| ] | lp-array | partial function,
lp-array × nat × lprops → lp-array |
| ] | lp-array | partial function,
lp-array × nat → lprops |
| ] | buffer-inf | partial function,
buffer-inf × nat × data → buffer-inf |
| ] | buffer-inf | partial function,
buffer-inf × nat → data |
| ] | buffer-inf | partial function,
datalist × nat × data → datalist |
| ] | buffer-inf | partial function,
datalist × nat → data |
| ] | nat-list-set | partial function,
nat-list × nat × nat → nat-list |
| ] | nat-list-set | partial function,
nat-list × nat → nat |
| ] | address-list-set | partial function,
address-list × nat × address → address-list |
| ] | address-list-set | partial function,
address-list × nat → address |
| ] | laddress-list | partial function,
laddress-list × nat × laddress → laddress-list |
| ] | laddress-list | partial function,
laddress-list × nat → laddress |
| ] | branch-array | partial function,
branch-array × nat × branch → branch-array |
| ] | branch-array | partial function,
branch-array × nat → branch |
| ] | store | partial function,
store × elem → data |
| ] | store | function,
store × elem × data → store |
| ] | node-store | partial function,
node-store × address → node |
| ] | node-store | function,
node-store × address × node → node-store |
| ] | key-list-set | partial function,
key-list × nat × key → key-list |
| ] | key-list-set | partial function,
key-list × nat → key |
| ] | string | partial function,
string × nat × char → string |
| ] | string | partial function,
string × nat → char |
| ] | node-list | partial function,
node-list × nat × node → node-list |
| ] | node-list | partial function,
node-list × nat → node |
| ] | node-index | partial function,
node-index × key → address |
| ] | node-index | function,
node-index × key × address → node-index |
| a | elem | variable,
elem |
| a0 | list-data | variable,
elem |
| address | address-data | sort,
|
| address | address | sort,
|
| address-list | address-list-set | sort,
|
| address-set | address-list-set | sort,
|
| address-set | node-store | sort,
|
| adr | address-data | variable,
address |
| adr | address | variable,
address |
| adr0 | address | variable,
address |
| adr1 | address | variable,
address |
| adr2 | address | variable,
address |
| adr3 | address | variable,
address |
| adr4 | address | variable,
address |
| adr5 | address | variable,
address |
| align↑ | align | function,
nat × nat → nat |
| align↓ | align | function,
nat × nat → nat |
| alink | alink | variable,
alink |
| alink | alink | sort,
|
| alink-set | alink-set | sort,
|
| alink0 | alink-set | variable,
alink |
| alink1 | alink-set | variable,
alink |
| ar | dataarray | variable,
dataarray |
| ar | array | variable,
array |
| ar0 | dataarray | variable,
dataarray |
| ar0 | array | variable,
array |
| ar1 | dataarray | variable,
dataarray |
| ar1 | array | variable,
array |
| ar2 | dataarray | variable,
dataarray |
| ar2 | array | variable,
array |
| array | array | sort,
|
| as | address-list-set | variable,
address-set |
| as | node-store | variable,
address-set |
| as0 | address-list-set | variable,
address-set |
| as0 | node-store | variable,
address-set |
| as1 | address-list-set | variable,
address-set |
| as1 | node-store | variable,
address-set |
| as2 | address-list-set | variable,
address-set |
| as2 | node-store | variable,
address-set |
| ax | address-list-set | variable,
address-list |
| ax0 | address-list-set | variable,
address-list |
| ax1 | address-list-set | variable,
address-list |
| ay | address-list-set | variable,
address-list |
| az | address-list-set | variable,
address-list |
| b | elem | variable,
elem |
| boolvar | inode | variable,
bool |
| boolvar | encoding-nat | variable,
bool |
| boolvar | indexnode | variable,
bool |
| boolvar | node | variable,
bool |
| boolvar0 | inode | variable,
bool |
| boolvar0 | encoding-nat | variable,
bool |
| boolvar0 | indexnode | variable,
bool |
| boolvar0 | node | variable,
bool |
| boolvar1 | encoding-nat | variable,
bool |
| boolvar1 | groupnode | variable,
bool |
| boolvar2 | groupnode | variable,
bool |
| br | branch | variable,
branch |
| br0 | branch-array | variable,
branch |
| br1 | branch-array | variable,
branch |
| branch | branch | sort,
|
| branch-array | branch-array | sort,
|
| brar | branch-array | variable,
branch-array |
| brar0 | branch-array | variable,
branch-array |
| brar1 | branch-array | variable,
branch-array |
| brar2 | branch-array | variable,
branch-array |
| buf | buffer | variable,
buffer |
| buf0 | buffer | variable,
buffer |
| buf1 | buffer | variable,
buffer |
| buf2 | buffer | variable,
buffer |
| buffer | buffer | sort,
|
| buffer-inf | buffer-inf | sort,
|
| butlastn | datastream | partial function,
nat × datalist → datalist |
| butlastn | path | partial function,
nat × path → path |
| butlastn | list-last | partial function,
nat × list → list |
| butlastn | buffer-inf | partial function,
nat × datalist → datalist |
| butlastn | nat-list-set | partial function,
nat × nat-list → nat-list |
| butlastn | address-list-set | partial function,
nat × address-list → address-list |
| butlastn | laddress-list | partial function,
nat × laddress-list → laddress-list |
| butlastn | key-list-set | partial function,
nat × key-list → key-list |
| butlastn | string | partial function,
nat × string → string |
| butlastn | node-list | partial function,
nat × node-list → node-list |
| c | elem | variable,
elem |
| char | char | variable,
char |
| char | char | sort,
|
| char0 | char | variable,
char |
| char1 | char | variable,
char |
| char2 | char | variable,
char |
| checksum | checksum | function,
buffer × nat → nat |
| cmp | buffer | partial predicate,
buffer × data × nat × nat |
| cmp | buffer | partial predicate,
buffer × nat × buffer × nat × nat |
| cmp | dataarray | partial predicate,
dataarray × data × nat × nat |
| cmp | dataarray | partial predicate,
dataarray × nat × dataarray × nat × nat |
| cmp | array-copy | partial predicate,
array × elem × nat × nat |
| cmp | array-copy | partial predicate,
array × nat × array × nat × nat |
| cmp | lp-array | partial predicate,
lp-array × lprops × nat × nat |
| cmp | lp-array | partial predicate,
lp-array × nat × lp-array × nat × nat |
| cmp | branch-array | partial predicate,
branch-array × branch × nat × nat |
| cmp | branch-array | partial predicate,
branch-array × nat × branch-array × nat × nat |
| copy | buffer | partial function,
buffer × nat × buffer × nat × nat → buffer |
| copy | dataarray | partial function,
dataarray × nat × dataarray × nat × nat → dataarray |
| copy | array-copy | partial function,
array × nat × array × nat × nat → array |
| copy | lp-array | partial function,
lp-array × nat × lp-array × nat × nat → lp-array |
| copy | branch-array | partial function,
branch-array × nat × branch-array × nat × nat → branch-array |
| d | dataset | variable,
data |
| d | data | variable,
data |
| d0 | dataset | variable,
data |
| d0 | data | variable,
data |
| d1 | dataset | variable,
data |
| d1 | data | variable,
data |
| d2 | data | variable,
data |
| data | dataset | sort,
|
| data | data | sort,
|
| dataarray | dataarray | sort,
|
| datakey | key | function,
nat × nat → key |
| datalist | datastream | sort,
|
| datalist | buffer-inf | sort,
|
| datanode | node | function,
key × buffer → node |
| dataset | dataset | sort,
|
| datasize | datasize | function,
buffer × nat → nat |
| datasize | datasize | function,
buffer → nat |
| datastream | datastream | sort,
|
| debug# | debug | procedure,
string : |
| decode# | encoding | procedure,
nat × buffer : elem × nat : error |
| decode_aligned# | encoding-aligned | procedure,
nat × buffer × nat : elem × nat : error |
| decode_nat# | encoding-nat | procedure,
nat × buffer : nat × nat : error |
| decode_nonempty# | encoding-fixed-size-nonempty | procedure,
nat × buffer : elem : error |
| decode_pagesize# | encoding-page-size-nonempty | procedure,
nat × buffer : elem : error |
| default-volid | default-volid | constant,
volid |
| dent | dentry | variable,
dentry |
| dentry | dentry | sort,
|
| dentrykey | key | function,
nat × string → key |
| dentrynode | node | function,
key × nat → node |
| disj | datastream | predicate,
datalist × datalist |
| disj | path | predicate,
path × path |
| disj | list-dup | predicate,
list × list |
| disj | buffer-inf | predicate,
datalist × datalist |
| disj | nat-list-set | predicate,
nat-list × nat-list |
| disj | address-list-set | predicate,
address-list × address-list |
| disj | laddress-list | predicate,
laddress-list × laddress-list |
| disj | key-list-set | predicate,
key-list × key-list |
| disj | string | predicate,
string × string |
| disj | node-list | predicate,
node-list × node-list |
| dom | store+set | function,
store → set |
| dom | node-store | function,
node-store → address-set |
| dom | node-index | function,
node-index → key-set |
| dropn | nat-list-set | function,
nat × nat-list → nat-list |
| dropn | address-list-set | function,
nat × address-list → address-list |
| dropn | laddress-list | function,
nat × laddress-list → laddress-list |
| dropn | list-prefixn | function,
nat × list → list |
| dropn | key-list-set | function,
nat × key-list → key-list |
| dropn | node-list | function,
nat × node-list → node-list |
| ds | dataset | variable,
dataset |
| ds0 | dataset | variable,
dataset |
| ds1 | dataset | variable,
dataset |
| ds2 | dataset | variable,
dataset |
| dups | datastream | predicate,
datalist |
| dups | path | predicate,
path |
| dups | list-dup | predicate,
list |
| dups | buffer-inf | predicate,
datalist |
| dups | nat-list-set | predicate,
nat-list |
| dups | address-list-set | predicate,
address-list |
| dups | laddress-list | predicate,
laddress-list |
| dups | key-list-set | predicate,
key-list |
| dups | string | predicate,
string |
| dups | node-list | predicate,
node-list |
| dx | datastream | variable,
datalist |
| dx | buffer-inf | variable,
datalist |
| dx0 | datastream | variable,
datalist |
| dx0 | buffer-inf | variable,
datalist |
| dx1 | datastream | variable,
datalist |
| dx1 | buffer-inf | variable,
datalist |
| dx3 | datastream | variable,
datalist |
| dx3 | buffer-inf | variable,
datalist |
| dx7 | datastream | variable,
datalist |
| dx7 | buffer-inf | variable,
datalist |
| elem | elem | sort,
|
| empty | buffer | constant,
data |
| empty | dataarray | constant,
data |
| empty | array-splice | constant,
elem |
| emptyleb | eraseblock | constant,
buffer |
| emptypage | eraseblock | constant,
buffer |
| emptypeb | eraseblock | constant,
buffer |
| encode# | encoding | procedure,
elem × nat : buffer × nat : error |
| encode_aligned# | encoding-aligned | procedure,
elem × nat × nat : buffer × nat : error |
| encode_nat# | encoding-nat | procedure,
nat × nat : buffer × nat : error |
| encode_nonempty# | encoding-fixed-size-nonempty | procedure,
elem × nat : buffer : error |
| encode_pagesize# | encoding-page-size-nonempty | procedure,
nat × elem : buffer : error |
| encoding-size | encoding | function,
elem → nat |
| encoding-size | encoding-nat | function,
nat → nat |
| err | error | variable,
error |
| err0 | error | variable,
error |
| err1 | error | variable,
error |
| error | error | sort,
|
| f | array-indices | variable,
elem → elem |
| fail# | error-class | procedure,
: : error |
| fail_or_success# | error-class | procedure,
: : error |
| file | file | variable,
file |
| file | file | sort,
|
| file-mode | file-mode | sort,
|
| fill | buffer | partial function,
buffer × data × nat × nat → buffer |
| fill | buffer | function,
buffer × data → buffer |
| fill | dataarray | partial function,
dataarray × data × nat × nat → dataarray |
| fill | dataarray | function,
dataarray × data → dataarray |
| fill | array-copy | partial function,
array × elem × nat × nat → array |
| fill | array-copy | function,
array × elem → array |
| fill | lp-array | partial function,
lp-array × lprops × nat × nat → lp-array |
| fill | lp-array | function,
lp-array × lprops → lp-array |
| fill | branch-array | partial function,
branch-array × branch × nat × nat → branch-array |
| fill | branch-array | function,
branch-array × branch → branch-array |
| fillfirst | datastream | function,
nat × data × datalist → datalist |
| fillfirst | path | function,
nat × string × path → path |
| fillfirst | list-last | function,
nat × elem × list → list |
| fillfirst | buffer-inf | function,
nat × data × datalist → datalist |
| fillfirst | nat-list-set | function,
nat × nat × nat-list → nat-list |
| fillfirst | address-list-set | function,
nat × address × address-list → address-list |
| fillfirst | laddress-list | function,
nat × laddress × laddress-list → laddress-list |
| fillfirst | key-list-set | function,
nat × key × key-list → key-list |
| fillfirst | string | function,
nat × char × string → string |
| fillfirst | node-list | function,
nat × node × node-list → node-list |
| finp | datastream | predicate,
datastream |
| finp | stream-basic | predicate,
stream |
| finp | buffer-inf | predicate,
buffer-inf |
| firstn | datastream | partial function,
nat × datalist → datalist |
| firstn | path | partial function,
nat × path → path |
| firstn | list-del | partial function,
nat × list → list |
| firstn | buffer-inf | partial function,
nat × datalist → datalist |
| firstn | nat-list-set | partial function,
nat × nat-list → nat-list |
| firstn | address-list-set | partial function,
nat × address-list → address-list |
| firstn | laddress-list | partial function,
nat × laddress-list → laddress-list |
| firstn | key-list-set | partial function,
nat × key-list → key-list |
| firstn | string | partial function,
nat × string → string |
| firstn | node-list | partial function,
nat × node-list → node-list |
| fn | array-indices | variable,
nat → nat |
| from | datastream | partial function,
datalist × nat → datalist |
| from | datastream | partial function,
datastream × nat → datastream |
| from | datastream | function,
nat → data × nat → nat → data |
| from | stream | partial function,
list × nat → list |
| from | stream | partial function,
stream × nat → stream |
| from | stream | function,
nat → elem × nat → nat → elem |
| from | buffer-inf | partial function,
datalist × nat → datalist |
| from | buffer-inf | partial function,
buffer-inf × nat → buffer-inf |
| from | buffer-inf | function,
nat → data × nat → nat → data |
| frome | datastream | function,
datalist × data → datalist |
| frome | path | function,
path × string → path |
| frome | list-del | function,
list × elem → list |
| frome | buffer-inf | function,
datalist × data → datalist |
| frome | nat-list-set | function,
nat-list × nat → nat-list |
| frome | address-list-set | function,
address-list × address → address-list |
| frome | laddress-list | function,
laddress-list × laddress → laddress-list |
| frome | key-list-set | function,
key-list × key → key-list |
| frome | string | function,
string × char → string |
| frome | node-list | function,
node-list × node → node-list |
| fs | node-store | variable,
node-store |
| fs0 | node-store | variable,
node-store |
| fs1 | node-store | variable,
node-store |
| fs2 | node-store | variable,
node-store |
| gnd | groupnode | variable,
group-node |
| group-node | groupnode | sort,
|
| hd | datastream | partial function,
datastream → data |
| hd | stream | partial function,
stream → elem |
| hd | buffer-inf | partial function,
buffer-inf → data |
| idrange | buffer | partial predicate,
buffer × nat × nat |
| idrange | dataarray | partial predicate,
dataarray × nat × nat |
| idrange | array-copy | partial predicate,
array × nat × nat |
| idrange | lp-array | partial predicate,
lp-array × nat × nat |
| idrange | branch-array | partial predicate,
branch-array × nat × nat |
| id○ | buffer | predicate,
buffer × buffer × nat |
| id○ | dataarray | predicate,
dataarray × dataarray × nat |
| id○ | array-copy | predicate,
array × array × nat |
| id○ | lp-array | predicate,
lp-array × lp-array × nat |
| id○ | branch-array | predicate,
branch-array × branch-array × nat |
| ind | indexnode | variable,
index-node |
| index-node | indexnode | sort,
|
| indexnode | indexnode | function,
branch-array × bool × nat → index-node |
| inode | inode | variable,
inode |
| inode | inode | sort,
|
| inodekey | key | function,
nat → key |
| inodenode | node | function,
key × metadata × bool × nat × nat × nat → node |
| is-aligned | align | predicate,
nat × nat |
| is-encoded | encoding | predicate,
elem × buffer |
| is-encoded | encoding-nat | predicate,
nat × buffer |
| is-encoded-aligned | encoding-aligned | predicate,
elem × buffer |
| is-encoded-nonempty | encoding-fixed-size-nonempty | predicate,
elem × buffer |
| is-encoded-pagesize | encoding-page-size-nonempty | predicate,
elem × buffer |
| is-garbage | encoding | predicate,
buffer |
| is-garbage-nat | encoding-nat | predicate,
buffer |
| is-garbage-nonempty | encoding-fixed-size-nonempty | predicate,
buffer |
| is-garbage-pagesize | encoding-page-size-nonempty | predicate,
buffer |
| isempty | eraseblock | predicate,
buffer × nat × nat |
| isempty | eraseblock | predicate,
buffer |
| key | key | variable,
key |
| key | key | sort,
|
| key-list | key-list-set | sort,
|
| key-set | key-set | sort,
|
| key-set | key-list-set | sort,
|
| key-set | node-index | sort,
|
| key0 | key-set | variable,
key |
| key0 | branch | variable,
key |
| key0 | node | variable,
key |
| key0 | key-list-set | variable,
key |
| key0 | node-index | variable,
key |
| key1 | key-set | variable,
key |
| key1 | key-list-set | variable,
key |
| key1 | node-index | variable,
key |
| key2 | key-list-set | variable,
key |
| ks | key-set | variable,
key-set |
| ks | key-list-set | variable,
key-set |
| ks | node-index | variable,
key-set |
| ks0 | key-set | variable,
key-set |
| ks0 | key-list-set | variable,
key-set |
| ks0 | node-index | variable,
key-set |
| ks1 | key-set | variable,
key-set |
| ks1 | key-list-set | variable,
key-set |
| ks1 | node-index | variable,
key-set |
| ks2 | key-set | variable,
key-set |
| ks2 | key-list-set | variable,
key-set |
| ks2 | node-index | variable,
key-set |
| kx | key-list-set | variable,
key-list |
| kx0 | key-list-set | variable,
key-list |
| kx1 | key-list-set | variable,
key-list |
| ky | key-list-set | variable,
key-list |
| kz | key-list-set | variable,
key-list |
| laddress | laddress | sort,
|
| laddress-list | laddress-list | sort,
|
| ladr | laddress | variable,
laddress |
| ladr0 | laddress-list | variable,
laddress |
| ladr1 | laddress-list | variable,
laddress |
| ladr2 | laddress-list | variable,
laddress |
| lastn | datastream | partial function,
nat × datalist → datalist |
| lastn | path | partial function,
nat × path → path |
| lastn | list-del | partial function,
nat × list → list |
| lastn | buffer-inf | partial function,
nat × datalist → datalist |
| lastn | nat-list-set | partial function,
nat × nat-list → nat-list |
| lastn | address-list-set | partial function,
nat × address-list → address-list |
| lastn | laddress-list | partial function,
nat × laddress-list → laddress-list |
| lastn | key-list-set | partial function,
nat × key-list → key-list |
| lastn | string | partial function,
nat × string → string |
| lastn | node-list | partial function,
nat × node-list → node-list |
| lax | laddress-list | variable,
laddress-list |
| lax0 | laddress-list | variable,
laddress-list |
| lax1 | laddress-list | variable,
laddress-list |
| lax2 | laddress-list | variable,
laddress-list |
| lax3 | laddress-list | variable,
laddress-list |
| list | list-data | sort,
|
| lp | lprops | variable,
lprops |
| lp-array | lp-array | sort,
|
| lp0 | lprops | variable,
lprops |
| lp1 | lp-array | variable,
lprops |
| lpf | lprops | variable,
lpropflags |
| lpf0 | lprops | variable,
lpropflags |
| lpropflags | lprops | sort,
|
| lprops | lprops | sort,
|
| lpt | lp-array | variable,
lp-array |
| lpt0 | lp-array | variable,
lp-array |
| lpt1 | lp-array | variable,
lp-array |
| lpt2 | lp-array | variable,
lp-array |
| lptfun | lp-array | variable,
lprops → lprops |
| ls | alink-set | variable,
alink-set |
| ls0 | alink-set | variable,
alink-set |
| ls1 | alink-set | variable,
alink-set |
| ls2 | alink-set | variable,
alink-set |
| m | nat-basic | variable,
nat |
| m0 | nat-inf | variable,
nat |
| m0 | alink | variable,
nat |
| m0 | file | variable,
nat |
| m0 | dentry | variable,
nat |
| m0 | inode | variable,
nat |
| m0 | array-copy | variable,
nat |
| m0 | lprops | variable,
nat |
| m0 | address-data | variable,
nat |
| m0 | key | variable,
nat |
| m0 | laddress | variable,
nat |
| m1 | file | variable,
nat |
| m1 | inode | variable,
nat |
| m1 | lprops | variable,
nat |
| m1 | address-data | variable,
nat |
| m1 | key | variable,
nat |
| m1 | laddress | variable,
nat |
| m2 | file | variable,
nat |
| m2 | inode | variable,
nat |
| m2 | lprops | variable,
nat |
| m2 | address-data | variable,
nat |
| m2 | key | variable,
nat |
| m2 | laddress | variable,
nat |
| m3 | inode | variable,
nat |
| m3 | lprops | variable,
nat |
| m3 | address-data | variable,
nat |
| m3 | node | variable,
nat |
| m4 | inode | variable,
nat |
| m4 | lprops | variable,
nat |
| m4 | address-data | variable,
nat |
| m4 | node | variable,
nat |
| m5 | inode | variable,
nat |
| m6 | inode | variable,
nat |
| max | min-max | function,
nat × nat → nat |
| md | metadata | variable,
metadata |
| md0 | inode | variable,
metadata |
| md0 | node | variable,
metadata |
| meta | permission-param | function,
path × state → metadata |
| metadata | metadata | sort,
|
| min | nat-inf | function,
natinf × natinf → natinf |
| min | min-max | function,
nat × nat → nat |
| mkarray | dataarray | function,
nat → dataarray |
| mkarray | array | function,
nat → array |
| mkbranch | branch | function,
key × address → branch |
| mkbrarray | branch-array | function,
nat → branch-array |
| mkbuf | buffer | function,
nat → buffer |
| mkdentry | dentry | function,
string × nat → dentry |
| mkemparray | dataarray | function,
nat → dataarray |
| mkemparray | array-splice | function,
nat → array |
| mkempbuf | buffer | function,
nat → buffer |
| mkentry | branch | function,
key × address → branch |
| mkfile | file | function,
nat × file-mode × nat → file |
| mkgnode | groupnode | function,
node × nat × bool × bool → group-node |
| mkinode | inode | function,
nat × metadata × bool × nat × nat × nat → inode |
| mklink | alink | function,
nat × string → alink |
| mklist | datastream | function,
data × nat → datalist |
| mklist | list-last | function,
elem × nat → list |
| mklist | buffer-inf | function,
data × nat → datalist |
| mklist | nat-list-set | function,
nat × nat → nat-list |
| mklist | address-list-set | function,
address × nat → address-list |
| mklist | laddress-list | function,
laddress × nat → laddress-list |
| mklist | key-list-set | function,
key × nat → key-list |
| mklist | string | function,
char × nat → string |
| mklist | node-list | function,
node × nat → node-list |
| mklp | lprops | function,
nat × nat × lpropflags × nat → lprops |
| mklparray | lp-array | function,
nat → lp-array |
| mkpath | path | function,
string × nat → path |
| mkzarray | dataarray | function,
nat → dataarray |
| mkzarray | array-splice | function,
nat → array |
| mkzbuf | buffer | function,
nat → buffer |
| mode | file-mode | variable,
file-mode |
| mode0 | file | variable,
file-mode |
| n | nat-basic | variable,
nat |
| n0 | nat-basic | variable,
nat |
| n1 | nat-basic | variable,
nat |
| n2 | nat-set | variable,
nat |
| n2 | nat-list-set | variable,
nat |
| n3 | nat-set | variable,
nat |
| n3 | nat-list-set | variable,
nat |
| n4 | nat-set | variable,
nat |
| n4 | nat-list-set | variable,
nat |
| n5 | nat-list-set | variable,
nat |
| nat | nat-basic | sort,
|
| nat-list | nat-list-set | sort,
|
| nat-set | nat-set | sort,
|
| nat-set | nat-list-set | sort,
|
| natinf | nat-inf | sort,
|
| nd | node | variable,
node |
| nd0 | node | variable,
node |
| nd1 | node | variable,
node |
| nd2 | node | variable,
node |
| nd3 | node | variable,
node |
| ndx | node-list | variable,
node-list |
| ndx0 | node-list | variable,
node-list |
| ndx1 | node-list | variable,
node-list |
| ndy | node-list | variable,
node-list |
| ndz | node-list | variable,
node-list |
| negdentry | dentry | function,
string → dentry |
| nf | datastream | variable,
nat → data |
| nf | stream-basic | variable,
nat → elem |
| nf | buffer-inf | variable,
nat → data |
| nf0 | datastream | variable,
nat → data |
| nf0 | stream-basic | variable,
nat → elem |
| nf0 | buffer-inf | variable,
nat → data |
| node | node | sort,
|
| node-index | node-index | sort,
|
| node-list | node-list | sort,
|
| node-store | node-store | sort,
|
| ns | nat-set | variable,
nat-set |
| ns | nat-list-set | variable,
nat-set |
| ns0 | nat-set | variable,
nat-set |
| ns0 | nat-list-set | variable,
nat-set |
| ns1 | nat-set | variable,
nat-set |
| ns1 | nat-list-set | variable,
nat-set |
| ns2 | nat-set | variable,
nat-set |
| ns2 | nat-list-set | variable,
nat-set |
| nx | nat-list-set | variable,
nat-list |
| nx0 | nat-list-set | variable,
nat-list |
| nx1 | nat-list-set | variable,
nat-list |
| ny | nat-list-set | variable,
nat-list |
| nz | nat-list-set | variable,
nat-list |
| n∞ | nat-inf | variable,
natinf |
| n∞0 | nat-inf | variable,
natinf |
| p | path | variable,
path |
| p' | path | variable,
path |
| p0 | path | variable,
path |
| p1 | path | variable,
path |
| parent | path | partial function,
path → path |
| path | path | sort,
|
| pos | datastream | function,
data × datalist → nat |
| pos | path | function,
string × path → nat |
| pos | list-del | function,
elem × list → nat |
| pos | buffer-inf | function,
data × datalist → nat |
| pos | nat-list-set | function,
nat × nat-list → nat |
| pos | address-list-set | function,
address × address-list → nat |
| pos | laddress-list | function,
laddress × laddress-list → nat |
| pos | key-list-set | function,
key × key-list → nat |
| pos | string | function,
char × string → nat |
| pos | node-list | function,
node × node-list → nat |
| pr | path-permission | predicate,
user × path × state |
| pr | permission | predicate,
user × metadata |
| prefixn | nat-list-set | function,
nat × nat-list → nat-list |
| prefixn | address-list-set | function,
nat × address-list → address-list |
| prefixn | laddress-list | function,
nat × laddress-list → laddress-list |
| prefixn | list-prefixn | function,
nat × list → list |
| prefixn | key-list-set | function,
nat × key-list → key-list |
| prefixn | node-list | function,
nat × node-list → node-list |
| pw | path-permission | predicate,
user × path × state |
| pw | permission | predicate,
user × metadata |
| px | path-permission | predicate,
user × path × state |
| px | permission | predicate,
user × metadata |
| px-parent | path-permission | predicate,
user × path × state |
| py | path-permission | predicate,
user × path × state |
| q | path | variable,
path |
| range= | buffer | predicate,
buffer × nat × buffer × nat × nat |
| range= | dataarray | predicate,
dataarray × nat × dataarray × nat × nat |
| range= | array-splice | predicate,
array × nat × array × nat × nat |
| resize | buffer | function,
buffer × nat → buffer |
| resize | dataarray | function,
dataarray × nat → dataarray |
| resize | array-splice | function,
array × nat → array |
| restn | datastream | partial function,
nat × datalist → datalist |
| restn | path | partial function,
nat × path → path |
| restn | list-del | partial function,
nat × list → list |
| restn | buffer-inf | partial function,
nat × datalist → datalist |
| restn | nat-list-set | partial function,
nat × nat-list → nat-list |
| restn | address-list-set | partial function,
nat × address-list → address-list |
| restn | laddress-list | partial function,
nat × laddress-list → laddress-list |
| restn | key-list-set | partial function,
nat × key-list → key-list |
| restn | string | partial function,
nat × string → string |
| restn | node-list | partial function,
nat × node-list → node-list |
| rev | datastream | function,
datalist → datalist |
| rev | buffer | partial function,
buffer × nat → buffer |
| rev | buffer | function,
buffer → buffer |
| rev | path | function,
path → path |
| rev | list-last | function,
list → list |
| rev | dataarray | partial function,
dataarray × nat → dataarray |
| rev | dataarray | function,
dataarray → dataarray |
| rev | array-copy | partial function,
array × nat → array |
| rev | array-copy | function,
array → array |
| rev | lp-array | partial function,
lp-array × nat → lp-array |
| rev | lp-array | function,
lp-array → lp-array |
| rev | buffer-inf | function,
datalist → datalist |
| rev | nat-list-set | function,
nat-list → nat-list |
| rev | address-list-set | function,
address-list → address-list |
| rev | laddress-list | function,
laddress-list → laddress-list |
| rev | branch-array | partial function,
branch-array × nat → branch-array |
| rev | branch-array | function,
branch-array → branch-array |
| rev | key-list-set | function,
key-list → key-list |
| rev | string | function,
string → string |
| rev | node-list | function,
node-list → node-list |
| ri | node-index | variable,
node-index |
| ri0 | node-index | variable,
node-index |
| ri1 | node-index | variable,
node-index |
| ri2 | node-index | variable,
node-index |
| rmdup | datastream | function,
datalist → datalist |
| rmdup | path | function,
path → path |
| rmdup | list-dup | function,
list → list |
| rmdup | buffer-inf | function,
datalist → datalist |
| rmdup | nat-list-set | function,
nat-list → nat-list |
| rmdup | address-list-set | function,
address-list → address-list |
| rmdup | laddress-list | function,
laddress-list → laddress-list |
| rmdup | key-list-set | function,
key-list → key-list |
| rmdup | string | function,
string → string |
| rmdup | node-list | function,
node-list → node-list |
| s | set-basic | variable,
set |
| s0 | set-basic | variable,
set |
| s1 | set-basic | variable,
set |
| s2 | set-basic | variable,
set |
| seekflag | seekflag | sort,
|
| set | set-basic | sort,
|
| size-aligned | encoding-aligned | function,
elem × nat → nat |
| slice | nat-list-set | function,
nat × nat × nat-list → nat-list |
| slice | address-list-set | function,
nat × nat × address-list → address-list |
| slice | laddress-list | function,
nat × nat × laddress-list → laddress-list |
| slice | list-prefixn | function,
nat × nat × list → list |
| slice | key-list-set | function,
nat × nat × key-list → key-list |
| slice | node-list | function,
nat × nat × node-list → node-list |
| splice | buffer | function,
buffer × nat × buffer × nat × nat → buffer |
| splice | dataarray | function,
dataarray × nat × dataarray × nat × nat → dataarray |
| splice | array-splice | function,
array × nat × array × nat × nat → array |
| st | permission-param | variable,
state |
| st | store | variable,
store |
| st0 | store | variable,
store |
| st1 | store | variable,
store |
| st2 | store | variable,
store |
| state | permission-param | sort,
|
| store | store | sort,
|
| str | string | variable,
string |
| str0 | string | variable,
string |
| str1 | string | variable,
string |
| str2 | string | variable,
string |
| str3 | string | variable,
string |
| stream | stream-basic | sort,
|
| string | string | sort,
|
| strings | stringset | variable,
stringset |
| strings0 | stringset | variable,
stringset |
| strings1 | stringset | variable,
stringset |
| strings2 | stringset | variable,
stringset |
| stringset | stringset | sort,
|
| subarray | buffer | partial function,
buffer × nat × nat → buffer |
| subarray | dataarray | partial function,
dataarray × nat × nat → dataarray |
| subarray | array-copy | partial function,
array × nat × nat → array |
| subarray | lp-array | partial function,
lp-array × nat × nat → lp-array |
| subarray | branch-array | partial function,
branch-array × nat × nat → branch-array |
| sublist | datastream | partial function,
nat × nat × datalist → datalist |
| sublist | path | partial function,
nat × nat × path → path |
| sublist | list-del | partial function,
nat × nat × list → list |
| sublist | buffer-inf | partial function,
nat × nat × datalist → datalist |
| sublist | nat-list-set | partial function,
nat × nat × nat-list → nat-list |
| sublist | address-list-set | partial function,
nat × nat × address-list → address-list |
| sublist | laddress-list | partial function,
nat × nat × laddress-list → laddress-list |
| sublist | key-list-set | partial function,
nat × nat × key-list → key-list |
| sublist | string | partial function,
nat × nat × string → string |
| sublist | node-list | partial function,
nat × nat × node-list → node-list |
| tl | datastream | partial function,
datastream → datastream |
| tl | stream | partial function,
stream → stream |
| tl | buffer-inf | partial function,
buffer-inf → buffer-inf |
| to | datastream | partial function,
datalist × nat → datalist |
| to | datastream | partial function,
datastream × nat → datastream |
| to | datastream | function,
nat → data × nat → datalist |
| to | stream | partial function,
list × nat → list |
| to | stream | partial function,
stream × nat → stream |
| to | stream | function,
nat → elem × nat → list |
| to | buffer-inf | partial function,
datalist × nat → datalist |
| to | buffer-inf | partial function,
buffer-inf × nat → buffer-inf |
| to | buffer-inf | function,
nat → data × nat → datalist |
| to∞ | datastream | partial function,
datastream × natinf → datastream |
| to∞ | stream | partial function,
stream × natinf → stream |
| to∞ | buffer-inf | partial function,
buffer-inf × natinf → buffer-inf |
| truncnode | node | function,
key × nat → node |
| user | user | variable,
user |
| user | user | sort,
|
| v | volid | variable,
volid |
| v0 | volid | variable,
volid |
| v1 | volid | variable,
volid |
| v2 | volid | variable,
volid |
| valid-indices | lp-array | predicate,
lp-array × nat-list |
| valid-indices | array-indices | predicate,
array × nat-list |
| volid | volid | sort,
|
| whence | seekflag | variable,
seekflag |
| x | list-data | variable,
list |
| x0 | list-data | variable,
list |
| x1 | list-data | variable,
list |
| y | list-data | variable,
list |
| z | list-data | variable,
list |
| zero | buffer | constant,
data |
| zero | dataarray | constant,
data |
| zero | array-splice | constant,
elem |
| zeropage | page | constant,
buffer |
| | | store+set | function,
store × set → store |
| | | node-store | function,
node-store × address-set → node-store |
| | | node-index | function,
node-index × key-set → node-index |
| } | nat-set | function,
nat → nat-set |
| } | alink-set | function,
alink → alink-set |
| } | stringset | function,
string → stringset |
| } | dataset | function,
data → dataset |
| } | set-union | function,
elem → set |
| } | nat-list-set | function,
nat → nat-set |
| } | key-set | function,
key → key-set |
| } | address-list-set | function,
address → address-set |
| } | node-store | function,
address → address-set |
| } | key-list-set | function,
key → key-set |
| } | node-index | function,
key → key-set |
| ε | path | constant,
path |
| σ | datastream | variable,
datastream |
| σ | stream-basic | variable,
stream |
| σ | buffer-inf | variable,
buffer-inf |
| σ1 | datastream | variable,
datastream |
| σ1 | stream | variable,
stream |
| σ1 | buffer-inf | variable,
buffer-inf |
| σ2 | datastream | variable,
datastream |
| σ2 | stream | variable,
stream |
| σ2 | buffer-inf | variable,
buffer-inf |
| σ⊥ | datastream-conv | constant,
datastream |
| σ⊥ | buffer-inf-conv | constant,
buffer-inf |
| φ | lp-array | variable,
lprops → bool |
| φ | array-indices | variable,
elem → bool |
| φn | array-indices | variable,
nat → bool |
| ∅ | nat-set | constant,
nat-set |
| ∅ | alink-set | constant,
alink-set |
| ∅ | stringset | constant,
stringset |
| ∅ | dataset | constant,
dataset |
| ∅ | set-basic | constant,
set |
| ∅ | nat-list-set | constant,
nat-set |
| ∅ | key-set | constant,
key-set |
| ∅ | address-list-set | constant,
address-set |
| ∅ | store | constant,
store |
| ∅ | node-store | constant,
address-set |
| ∅ | node-store | constant,
node-store |
| ∅ | key-list-set | constant,
key-set |
| ∅ | node-index | constant,
key-set |
| ∅ | node-index | constant,
node-index |
| ∈ | datastream | predicate,
data × datalist |
| ∈ | nat-set | predicate,
nat × nat-set |
| ∈ | alink-set | predicate,
alink × alink-set |
| ∈ | buffer | predicate,
data × buffer |
| ∈ | stringset | predicate,
string × stringset |
| ∈ | path | predicate,
string × path |
| ∈ | list | predicate,
elem × list |
| ∈ | dataarray | predicate,
data × dataarray |
| ∈ | dataset | predicate,
data × dataset |
| ∈ | array-copy | predicate,
elem × array |
| ∈ | set-basic | predicate,
elem × set |
| ∈ | lp-array | predicate,
lprops × lp-array |
| ∈ | buffer-inf | predicate,
data × datalist |
| ∈ | nat-list-set | predicate,
nat × nat-set |
| ∈ | nat-list-set | predicate,
nat × nat-list |
| ∈ | key-set | predicate,
key × key-set |
| ∈ | address-list-set | predicate,
address × address-set |
| ∈ | address-list-set | predicate,
address × address-list |
| ∈ | laddress-list | predicate,
laddress × laddress-list |
| ∈ | branch-array | predicate,
branch × branch-array |
| ∈ | store | predicate,
elem × store |
| ∈ | store+set | predicate,
data × store |
| ∈ | node-store | predicate,
node × node-store |
| ∈ | node-store | predicate,
address × address-set |
| ∈ | node-store | predicate,
address × node-store |
| ∈ | key-list-set | predicate,
key × key-set |
| ∈ | key-list-set | predicate,
key × key-list |
| ∈ | string | predicate,
char × string |
| ∈ | node-list | predicate,
node × node-list |
| ∈ | node-index | predicate,
address × node-index |
| ∈ | node-index | predicate,
key × key-set |
| ∈ | node-index | predicate,
key × node-index |
| ∞ | nat-inf | constant,
natinf |
| ∩ | nat-set | function,
nat-set × nat-set → nat-set |
| ∩ | alink-set | function,
alink-set × alink-set → alink-set |
| ∩ | stringset | function,
stringset × stringset → stringset |
| ∩ | dataset | function,
dataset × dataset → dataset |
| ∩ | set-union | function,
set × set → set |
| ∩ | nat-list-set | function,
nat-set × nat-set → nat-set |
| ∩ | key-set | function,
key-set × key-set → key-set |
| ∩ | address-list-set | function,
address-set × address-set → address-set |
| ∩ | node-store | function,
address-set × address-set → address-set |
| ∩ | key-list-set | function,
key-set × key-set → key-set |
| ∩ | node-index | function,
key-set × key-set → key-set |
| ∪ | nat-set | function,
nat-set × nat-set → nat-set |
| ∪ | alink-set | function,
alink-set × alink-set → alink-set |
| ∪ | stringset | function,
stringset × stringset → stringset |
| ∪ | dataset | function,
dataset × dataset → dataset |
| ∪ | set-union | function,
set × set → set |
| ∪ | nat-list-set | function,
nat-set × nat-set → nat-set |
| ∪ | key-set | function,
key-set × key-set → key-set |
| ∪ | address-list-set | function,
address-set × address-set → address-set |
| ∪ | node-store | function,
address-set × address-set → address-set |
| ∪ | key-list-set | function,
key-set × key-set → key-set |
| ∪ | node-index | function,
key-set × key-set → key-set |
| ≤ | datastream | predicate,
datastream × datastream |
| ≤ | stream | predicate,
stream × stream |
| ≤ | nat | predicate,
nat × nat |
| ≤ | buffer-inf | predicate,
buffer-inf × buffer-inf |
| ≥ | nat | predicate,
nat × nat |
| ⊆ | nat-set | predicate,
nat-set × nat-set |
| ⊆ | alink-set | predicate,
alink-set × alink-set |
| ⊆ | stringset | predicate,
stringset × stringset |
| ⊆ | dataset | predicate,
dataset × dataset |
| ⊆ | set-basic | predicate,
set × set |
| ⊆ | nat-list-set | predicate,
nat-set × nat-set |
| ⊆ | key-set | predicate,
key-set × key-set |
| ⊆ | address-list-set | predicate,
address-set × address-set |
| ⊆ | store | predicate,
store × store |
| ⊆ | node-store | predicate,
address-set × address-set |
| ⊆ | node-store | predicate,
node-store × node-store |
| ⊆ | key-list-set | predicate,
key-set × key-set |
| ⊆ | node-index | predicate,
key-set × key-set |
| ⊆ | node-index | predicate,
node-index × node-index |
| ⊏ | string | predicate,
string × string |
| ⊑ | datastream | predicate,
datalist × datalist |
| ⊑ | path | predicate,
path × path |
| ⊑ | list-last | predicate,
list × list |
| ⊑ | buffer-inf | predicate,
datalist × datalist |
| ⊑ | nat-list-set | predicate,
nat-list × nat-list |
| ⊑ | address-list-set | predicate,
address-list × address-list |
| ⊑ | laddress-list | predicate,
laddress-list × laddress-list |
| ⊑ | key-list-set | predicate,
key-list × key-list |
| ⊑ | string | predicate,
string × string |
| ⊑ | node-list | predicate,
node-list × node-list |
| ⊒ | datastream | predicate,
datalist × datalist |
| ⊒ | path | predicate,
path × path |
| ⊒ | list-last | predicate,
list × list |
| ⊒ | buffer-inf | predicate,
datalist × datalist |
| ⊒ | nat-list-set | predicate,
nat-list × nat-list |
| ⊒ | address-list-set | predicate,
address-list × address-list |
| ⊒ | laddress-list | predicate,
laddress-list × laddress-list |
| ⊒ | key-list-set | predicate,
key-list × key-list |
| ⊒ | string | predicate,
string × string |
| ⊒ | node-list | predicate,
node-list × node-list |
| ⊕ | store+set | function,
store × store → store |
| ⊕ | node-store | function,
node-store × node-store → node-store |
| ⊕ | node-index | function,
node-index × node-index → node-index |
| ⌋ | error-class | predicate,
error |
| ⌝ | datastream-conv | function,
dataarray → datastream |
| ⌝ | datastream | function,
nat → data → datastream |
| ⌝ | datastream | function,
datalist → datastream |
| ⌝ | nat-inf | function,
nat → natinf |
| ⌝ | stream-basic | function,
nat → elem → stream |
| ⌝ | stream-basic | function,
list → stream |
| ⌝ | buffer-inf | function,
nat → data → buffer-inf |
| ⌝ | buffer-inf | function,
datalist → buffer-inf |
| ⌝ | buffer-inf-conv | function,
buffer → buffer-inf |