| 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 |
| # | posix-history | function,
posix-history → 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 |
| # | store-access | function,
store → 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 | function,
nat-list → nat |
| # | key-set | function,
key-set → nat |
| # | address-list | function,
address-list → nat |
| # | laddress-list | function,
laddress-list → nat |
| % | nat-div | function,
nat × nat → nat |
| ' | datastream | function,
data → datalist |
| ' | posix-history | function,
posix-event → posix-history |
| ' | path | function,
string → path |
| ' | list | function,
elem → list |
| ' | buffer-inf | function,
data → datalist |
| ' | nat-list | function,
nat → nat-list |
| ' | address-list | function,
address → address-list |
| ' | laddress-list | function,
laddress → laddress-list |
| * | nat-mult | function,
nat × nat → nat |
| + | datastream | function,
datastream × datastream → datastream |
| + | datastream | function,
data × datastream → datastream |
| + | datastream | function,
data × data → datalist |
| + | 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 |
| + | posix-history | function,
posix-event × posix-event → posix-history |
| + | posix-history | function,
posix-history × posix-event → posix-history |
| + | posix-history | function,
posix-history × posix-history → posix-history |
| + | posix-history | function,
posix-event × posix-history → posix-history |
| + | buffer | function,
buffer × buffer → buffer |
| + | string-data | function,
char × string → string |
| + | path | function,
string × string → path |
| + | path | function,
path × string → path |
| + | path | function,
path × path → path |
| + | path | function,
string × path → path |
| + | list | function,
elem × elem → list |
| + | 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 |
| + | nat-basic2 | function,
nat × nat → nat |
| + | buffer-inf | function,
buffer-inf × buffer-inf → buffer-inf |
| + | buffer-inf | function,
data × buffer-inf → buffer-inf |
| + | buffer-inf | function,
data × data → datalist |
| + | buffer-inf | function,
datalist × data → datalist |
| + | buffer-inf | function,
datalist × datalist → datalist |
| + | buffer-inf | function,
data × datalist → datalist |
| + | nat-list | function,
nat-list × nat → nat-list |
| + | nat-list | function,
nat-list × nat-list → nat-list |
| + | nat-list | function,
nat × nat-list → nat-list |
| + | address-list | function,
address × address → address-list |
| + | address-list | function,
address-list × address → address-list |
| + | address-list | function,
address-list × address-list → address-list |
| + | address-list | function,
address × address-list → address-list |
| + | laddress-list | function,
laddress × laddress → laddress-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 |
| ++ | 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 | function,
nat-list × nat → nat-list |
| ++ | key-set | function,
key-set × key → key-set |
| ++ | address-list | function,
address-list × address → address-list |
| ++ | laddress-list | function,
laddress-list × laddress → laddress-list |
| +1 | nat-basic1 | function,
nat → nat |
| +@ | nat-list | function,
nat × nat → nat-list |
| - | nat | 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 |
| -- | store-access | function,
store × elem → store |
| -- | set-union | function,
set × elem → set |
| -- | key-set | function,
key-set × key → key-set |
| -1 | nat-basic1 | function,
nat → nat |
| -1@ | nat-list | function,
nat-list × nat → nat-list |
| -1l | datastream | function,
datalist × nat → datalist |
| -1l | datastream | function,
datalist × data → datalist |
| -1l | path | function,
path × nat → path |
| -1l | path | function,
path × string → path |
| -1l | list-del | function,
list × nat → list |
| -1l | list-del | function,
list × elem → list |
| -1l | buffer-inf | function,
datalist × nat → datalist |
| -1l | buffer-inf | function,
datalist × data → datalist |
| -1l | nat-list | function,
nat-list × nat → nat-list |
| -1l | address-list | function,
address-list × nat → address-list |
| -1l | address-list | function,
address-list × address → address-list |
| -1l | laddress-list | function,
laddress-list × nat → laddress-list |
| -1l | laddress-list | function,
laddress-list × laddress → laddress-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 | function,
nat-list × nat → nat-list |
| -l | address-list | function,
address-list × address → address-list |
| -l | laddress-list | function,
laddress-list × laddress → laddress-list |
| .ar | datastream-conv | function,
datastream → dataarray |
| .buf | posix-event | function,
posix-event → buffer |
| .buf | buffer-inf-conv | function,
buffer-inf → buffer |
| .butlast | datastream | function,
datalist → datalist |
| .butlast | list-last | function,
list → list |
| .butlast | buffer-inf | function,
datalist → datalist |
| .butlast | nat-list | function,
nat-list → nat-list |
| .butlast | address-list | function,
address-list → address-list |
| .butlast | laddress-list | function,
laddress-list → laddress-list |
| .butmax | oset | function,
set → set |
| .butmax | nat-set | function,
nat-set → nat-set |
| .butmin | oset | function,
set → set |
| .butmin | nat-set | function,
nat-set → nat-set |
| .char1 | string-data | function,
string → char |
| .data? | key | predicate,
key |
| .dentry? | dentry | predicate,
dentry |
| .dentry? | key | predicate,
key |
| .directory | inode | predicate,
inode |
| .directory:= | inode | function,
inode × bool → inode |
| .err | posix-event | function,
posix-event → error |
| .f | datastream | function,
datastream → nat → data |
| .f | stream-basic | function,
stream → nat → elem |
| .f | buffer-inf | function,
buffer-inf → nat → data |
| .fd | posix-event | function,
posix-event → nat |
| .filter | array-indices | function,
nat-set × nat → bool → nat-set |
| .first | datastream | function,
datalist → data |
| .first | posix-history | function,
posix-history → posix-event |
| .first | path | function,
path → string |
| .first | list-data | function,
list → elem |
| .first | buffer-inf | function,
datalist → data |
| .first | nat-list | function,
nat-list → nat |
| .first | address-list | function,
address-list → address |
| .first | laddress-list | function,
laddress-list → laddress |
| .flags | lprops | function,
lprops → lpropflags |
| .flags:= | lprops | function,
lprops × lpropflags → lprops |
| .gcheapidx | lprops | function,
lprops → nat |
| .gcheapidx:= | lprops | function,
lprops × nat → lprops |
| .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 | function,
dentry → nat |
| .ino | inode | function,
inode → nat |
| .ino | key | function,
key → nat |
| .ino:= | file | function,
file × nat → file |
| .ino:= | dentry | function,
dentry × nat → dentry |
| .ino:= | inode | function,
inode × nat → inode |
| .ino:= | key | function,
key × nat → key |
| .inode? | key | predicate,
key |
| .l | datastream | function,
datastream → datalist |
| .l | stream-basic | function,
stream → list |
| .l | buffer-inf | function,
buffer-inf → datalist |
| .last | datastream | function,
datalist → data |
| .last | path | function,
path → string |
| .last | list-last | function,
list → elem |
| .last | buffer-inf | function,
datalist → data |
| .last | nat-list | function,
nat-list → nat |
| .last | address-list | function,
address-list → address |
| .last | laddress-list | function,
laddress-list → laddress |
| .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 | function,
set → elem |
| .max | nat-set | function,
nat-set → nat |
| .meta | posix-event | function,
posix-event → metadata |
| .meta | inode | function,
inode → metadata |
| .meta:= | inode | function,
inode × metadata → inode |
| .min | oset | function,
set → elem |
| .min | nat-set | function,
nat-set → nat |
| .mode | posix-event | function,
posix-event → mode |
| .mode | file | function,
file → mode |
| .mode:= | file | function,
file × mode → file |
| .n | nat-inf-basic | function,
natinf → nat |
| .n | posix-event | function,
posix-event → nat |
| .name | alink | function,
alink → string |
| .name | dentry | function,
dentry → string |
| .name | key | function,
key → string |
| .name:= | dentry | function,
dentry × string → dentry |
| .name:= | key | function,
key × string → key |
| .names | posix-event | function,
posix-event → stringset |
| .negdentry? | dentry | predicate,
dentry |
| .nlink | inode | function,
inode → nat |
| .nlink:= | inode | function,
inode × nat → inode |
| .off | laddress | function,
laddress → nat |
| .off:= | laddress | function,
laddress × nat → laddress |
| .part | key | function,
key → nat |
| .part:= | key | function,
key × nat → key |
| .path | posix-event | function,
posix-event → path |
| .path' | posix-event | function,
posix-event → path |
| .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 |
| .rest | datastream | function,
datalist → datalist |
| .rest | posix-history | function,
posix-history → posix-history |
| .rest | path | function,
path → path |
| .rest | list-data | function,
list → list |
| .rest | buffer-inf | function,
datalist → datalist |
| .rest | nat-list | function,
nat-list → nat-list |
| .rest | address-list | function,
address-list → address-list |
| .rest | laddress-list | function,
laddress-list → laddress-list |
| .rstring | string-data | 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:= | inode | function,
inode × nat → inode |
| .size:= | lprops | function,
lprops × nat → lprops |
| .size:= | address-data | function,
address × nat → address |
| .size:= | laddress | function,
laddress × nat → laddress |
| .whence | posix-event | function,
posix-event → seekflag |
| / | nat-div | 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 |
| < | posix-history | predicate,
posix-history × posix-history |
| < | path | predicate,
path × path |
| < | list-data | predicate,
list × list |
| < | nat-basic1 | predicate,
nat × nat |
| < | buffer-inf | predicate,
datalist × datalist |
| < | nat-list | predicate,
nat-list × nat-list |
| < | address-list | predicate,
address-list × address-list |
| < | nat-list-less | predicate,
nat-list × nat |
| < | laddress-list | predicate,
laddress-list × laddress-list |
| > | nat | predicate,
nat × nat |
| @ | address-data | function,
nat × nat × nat → address |
| @ | laddress | function,
nat × nat → laddress |
| ADR_CHECKED | address | constant,
address |
| ADR_NEW | address | constant,
address |
| 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 |
| ENOENT | error | constant,
error |
| ENOMEM | error | constant,
error |
| ENOSPC | error | constant,
error |
| ENOTDIR | error | constant,
error |
| ENOTEMPTY | error | constant,
error |
| ERR | error-class | variable,
error,flexible |
| ESUCCESS | 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 |
| MODE_R | mode | constant,
mode |
| MODE_RW | mode | constant,
mode |
| MODE_W | mode | constant,
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 |
| [] | posix-history | constant,
posix-history |
| [] | list-data | constant,
list |
| [] | buffer-inf | constant,
buffer-inf |
| [] | buffer-inf | constant,
datalist |
| [] | nat-list | constant,
nat-list |
| [] | address-list | constant,
address-list |
| [] | laddress-list | constant,
laddress-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 |
| \ | key-set | function,
key-set × key-set → key-set |
| ] | datastream | function,
datastream × nat × data → datastream |
| ] | datastream | function,
datastream × nat → data |
| ] | datastream | function,
datalist × nat × data → datalist |
| ] | datastream | function,
datalist × nat → data |
| ] | stream | function,
stream × nat × elem → stream |
| ] | stream | function,
stream × nat → elem |
| ] | buffer | function,
buffer × nat × data → buffer |
| ] | buffer | function,
buffer × nat → data |
| ] | path | function,
path × nat × string → path |
| ] | path | function,
path × nat → string |
| ] | list-del | function,
list × nat × elem → list |
| ] | list-del | function,
list × nat → elem |
| ] | dataarray | function,
dataarray × nat × data → dataarray |
| ] | dataarray | function,
dataarray × nat → data |
| ] | store-access | function,
store × elem → data |
| ] | store-base | function,
store × elem × data → store |
| ] | array | function,
array × nat × elem → array |
| ] | array | function,
array × nat → elem |
| ] | lp-array | function,
lp-array × nat × lprops → lp-array |
| ] | lp-array | function,
lp-array × nat → lprops |
| ] | buffer-inf | function,
buffer-inf × nat × data → buffer-inf |
| ] | buffer-inf | function,
buffer-inf × nat → data |
| ] | buffer-inf | function,
datalist × nat × data → datalist |
| ] | buffer-inf | function,
datalist × nat → data |
| ] | nat-list | function,
nat-list × nat × nat → nat-list |
| ] | nat-list | function,
nat-list × nat → nat |
| ] | address-list | function,
address-list × nat × address → address-list |
| ] | address-list | function,
address-list × nat → address |
| ] | laddress-list | function,
laddress-list × nat × laddress → laddress-list |
| ] | laddress-list | function,
laddress-list × nat → laddress |
| a | elem | variable,
elem |
| a0 | list-data | variable,
elem |
| address | address-data | sort,
|
| address | address | sort,
|
| address-list | address-list | 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,
|
| ax | address-list | variable,
address-list |
| ax0 | address-list | variable,
address-list |
| ax1 | address-list | variable,
address-list |
| ax2 | address-list | variable,
address-list |
| ay | address-list | variable,
address-list |
| ay0 | address-list | variable,
address-list |
| ay1 | address-list | variable,
address-list |
| ay2 | address-list | variable,
address-list |
| az | address-list | variable,
address-list |
| az0 | address-list | variable,
address-list |
| az1 | address-list | variable,
address-list |
| az2 | address-list | variable,
address-list |
| b | elem | variable,
elem |
| boolvar | inode | variable,
bool |
| boolvar0 | inode | variable,
bool |
| 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 | function,
nat × datalist → datalist |
| butlastn | path | function,
nat × path → path |
| butlastn | list-last | function,
nat × list → list |
| butlastn | buffer-inf | function,
nat × datalist → datalist |
| butlastn | nat-list | function,
nat × nat-list → nat-list |
| butlastn | address-list | function,
nat × address-list → address-list |
| butlastn | laddress-list | function,
nat × laddress-list → laddress-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 → checksum-data |
| checksum-data | checksum-data | sort,
|
| chksm | checksum-data | variable,
checksum-data |
| chksm0 | checksum-data | variable,
checksum-data |
| chksm1 | checksum-data | variable,
checksum-data |
| chksm2 | checksum-data | variable,
checksum-data |
| close | posix-event | function,
nat × error → posix-event |
| cmp | buffer | predicate,
buffer × data × nat × nat |
| cmp | buffer | predicate,
buffer × nat × buffer × nat × nat |
| cmp | dataarray | predicate,
dataarray × data × nat × nat |
| cmp | dataarray | predicate,
dataarray × nat × dataarray × nat × nat |
| cmp | array-copy | predicate,
array × elem × nat × nat |
| cmp | array-copy | predicate,
array × nat × array × nat × nat |
| cmp | lp-array | predicate,
lp-array × lprops × nat × nat |
| cmp | lp-array | predicate,
lp-array × nat × lp-array × nat × nat |
| copy | buffer | function,
buffer × nat × buffer × nat × nat → buffer |
| copy | dataarray | function,
dataarray × nat × dataarray × nat × nat → dataarray |
| copy | array-copy | function,
array × nat × array × nat × nat → array |
| copy | lp-array | function,
lp-array × nat × lp-array × nat × nat → lp-array |
| crash | posix-event | constant,
posix-event |
| create | posix-event | function,
path × metadata × error → posix-event |
| 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,
|
| dataset | dataset | sort,
|
| datasize | datasize | function,
buffer × nat → nat |
| datasize | datasize | function,
buffer → nat |
| datastream | datastream | sort,
|
| default-checksum | checksum-data | constant,
checksum-data |
| dent | dentry | variable,
dentry |
| dentry | dentry | sort,
|
| dentrykey | key | function,
nat × string → key |
| 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 | predicate,
nat-list × nat-list |
| disj | address-list | predicate,
address-list × address-list |
| disj | laddress-list | predicate,
laddress-list × laddress-list |
| dom | store-access | function,
store → set |
| dropn | address-list | function,
nat × address-list → address-list |
| dropn | laddress-list | function,
nat × laddress-list → laddress-list |
| dropn | list-prefixn | function,
nat × list → 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 | predicate,
nat-list |
| dups | address-list | predicate,
address-list |
| dups | laddress-list | predicate,
laddress-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 |
| dx10 | datastream | variable,
datalist |
| dx10 | buffer-inf | variable,
datalist |
| dx2 | datastream | variable,
datalist |
| dx2 | buffer-inf | variable,
datalist |
| dx3 | datastream | variable,
datalist |
| dx3 | buffer-inf | variable,
datalist |
| dx4 | datastream | variable,
datalist |
| dx4 | buffer-inf | variable,
datalist |
| dx5 | datastream | variable,
datalist |
| dx5 | buffer-inf | variable,
datalist |
| dx6 | datastream | variable,
datalist |
| dx6 | buffer-inf | variable,
datalist |
| dx7 | datastream | variable,
datalist |
| dx7 | buffer-inf | variable,
datalist |
| dx8 | datastream | variable,
datalist |
| dx8 | buffer-inf | variable,
datalist |
| dx9 | datastream | variable,
datalist |
| dx9 | 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 |
| 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,
|
| fill | buffer | function,
buffer × data → buffer |
| fill | buffer | function,
buffer × data × nat × nat → buffer |
| fill | dataarray | function,
dataarray × data → dataarray |
| fill | dataarray | function,
dataarray × data × nat × nat → dataarray |
| fill | array-copy | function,
array × elem → array |
| fill | array-copy | function,
array × elem × nat × nat → array |
| fill | lp-array | function,
lp-array × lprops → lp-array |
| fill | lp-array | function,
lp-array × lprops × nat × nat → lp-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 | function,
nat × nat × nat-list → nat-list |
| fillfirst | address-list | function,
nat × address × address-list → address-list |
| fillfirst | laddress-list | function,
nat × laddress × laddress-list → laddress-list |
| finp | datastream | predicate,
datastream |
| finp | stream-basic | predicate,
stream |
| finp | buffer-inf | predicate,
buffer-inf |
| firstn | datastream | function,
nat × datalist → datalist |
| firstn | path | function,
nat × path → path |
| firstn | list-del | function,
nat × list → list |
| firstn | buffer-inf | function,
nat × datalist → datalist |
| firstn | nat-list | function,
nat × nat-list → nat-list |
| firstn | address-list | function,
nat × address-list → address-list |
| firstn | laddress-list | function,
nat × laddress-list → laddress-list |
| fn | array-indices | variable,
nat → nat |
| from | datastream | function,
nat → data × nat → nat → data |
| from | datastream | function,
datalist × nat → datalist |
| from | datastream | function,
datastream × nat → datastream |
| from | stream | function,
nat → elem × nat → nat → elem |
| from | stream | function,
list × nat → list |
| from | stream | function,
stream × nat → stream |
| from | buffer-inf | function,
nat → data × nat → nat → data |
| from | buffer-inf | function,
datalist × nat → datalist |
| from | buffer-inf | function,
buffer-inf × nat → buffer-inf |
| 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 | function,
nat-list × nat → nat-list |
| frome | address-list | function,
address-list × address → address-list |
| frome | laddress-list | function,
laddress-list × laddress → laddress-list |
| hd | datastream | function,
datastream → data |
| hd | stream | function,
stream → elem |
| hd | buffer-inf | function,
buffer-inf → data |
| idrange | buffer | predicate,
buffer × nat × nat |
| idrange | dataarray | predicate,
dataarray × nat × nat |
| idrange | array-copy | predicate,
array × nat × nat |
| idrange | lp-array | predicate,
lp-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 |
| inode | inode | variable,
inode |
| inode | inode | sort,
|
| inodekey | key | function,
nat → key |
| is-aligned | align | predicate,
nat × nat |
| isempty | eraseblock | predicate,
buffer |
| iter | store-iter | function,
store → list |
| key | key | variable,
key |
| key | key | sort,
|
| key-set | key-set | sort,
|
| key0 | key-set | variable,
key |
| key1 | key-set | variable,
key |
| ks | key-set | variable,
key-set |
| ks0 | key-set | variable,
key-set |
| ks1 | key-set | variable,
key-set |
| ks2 | key-set | variable,
key-set |
| 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 | function,
nat × datalist → datalist |
| lastn | path | function,
nat × path → path |
| lastn | list-del | function,
nat × list → list |
| lastn | buffer-inf | function,
nat × datalist → datalist |
| lastn | nat-list | function,
nat × nat-list → nat-list |
| lastn | address-list | function,
nat × address-list → address-list |
| lastn | laddress-list | function,
nat × laddress-list → laddress-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 |
| lay | laddress-list | variable,
laddress-list |
| lay0 | laddress-list | variable,
laddress-list |
| lay1 | laddress-list | variable,
laddress-list |
| lay2 | laddress-list | variable,
laddress-list |
| laz | laddress-list | variable,
laddress-list |
| laz0 | laddress-list | variable,
laddress-list |
| laz1 | laddress-list | variable,
laddress-list |
| laz2 | laddress-list | variable,
laddress-list |
| link | posix-event | function,
path × path × error → posix-event |
| 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-basic1 | variable,
nat |
| m0 | nat-inf-basic | 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 |
| m4 | inode | variable,
nat |
| m4 | lprops | variable,
nat |
| m4 | address-data | variable,
nat |
| max | min-max | function,
nat × nat → nat |
| md | metadata | variable,
metadata |
| md0 | inode | 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 |
| mkbuf | buffer | function,
nat → buffer |
| mkdentry | dentry | function,
string × nat → dentry |
| mkdir | posix-event | function,
path × metadata × error → posix-event |
| mkemparray | dataarray | function,
nat → dataarray |
| mkemparray | array-splice | function,
nat → array |
| mkempbuf | buffer | function,
nat → buffer |
| mkfile | file | function,
nat × mode × nat → file |
| mkinode | inode | function,
nat × metadata × bool × 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 | function,
nat × nat → nat-list |
| mklist | address-list | function,
address × nat → address-list |
| mklist | laddress-list | function,
laddress × nat → laddress-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 | mode | variable,
mode |
| mode | mode | sort,
|
| mode0 | posix-event | variable,
mode |
| mode0 | file | variable,
mode |
| n | nat-basic1 | variable,
nat |
| n0 | nat-basic1 | variable,
nat |
| n1 | nat-basic1 | variable,
nat |
| n2 | nat-set | variable,
nat |
| n2 | nat-list | variable,
nat |
| n3 | nat-set | variable,
nat |
| n3 | nat-list | variable,
nat |
| n4 | nat-set | variable,
nat |
| n4 | nat-list | variable,
nat |
| n5 | nat-list | variable,
nat |
| nat | nat-basic1 | sort,
|
| nat-list | nat-list | sort,
|
| nat-set | nat-set | sort,
|
| natinf | nat-inf-basic | sort,
|
| 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 |
| ns | nat-set | variable,
nat-set |
| ns0 | nat-set | variable,
nat-set |
| ns1 | nat-set | variable,
nat-set |
| ns2 | nat-set | variable,
nat-set |
| nx | nat-list | variable,
nat-list |
| nx0 | nat-list | variable,
nat-list |
| nx1 | nat-list | variable,
nat-list |
| nx2 | nat-list | variable,
nat-list |
| ny | nat-list | variable,
nat-list |
| ny0 | nat-list | variable,
nat-list |
| ny1 | nat-list | variable,
nat-list |
| ny2 | nat-list | variable,
nat-list |
| nz | nat-list | variable,
nat-list |
| nz0 | nat-list | variable,
nat-list |
| nz1 | nat-list | variable,
nat-list |
| nz2 | nat-list | variable,
nat-list |
| n∞ | nat-inf-basic | variable,
natinf |
| n∞0 | nat-inf | variable,
natinf |
| open | posix-event | function,
path × nat × mode × error → posix-event |
| p | path | variable,
path |
| p' | path | variable,
path |
| p0 | path | variable,
path |
| p1 | path | variable,
path |
| p2 | path | variable,
path |
| p3 | path | variable,
path |
| p4 | path | variable,
path |
| p5 | path | variable,
path |
| pack | elem-list-repr | function,
list → buffer |
| pack | elem-repr | function,
elem → buffer |
| parent | path | 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 | function,
nat × nat-list → nat |
| pos | address-list | function,
address × address-list → nat |
| pos | laddress-list | function,
laddress × laddress-list → nat |
| posix-event | posix-event | variable,
posix-event |
| posix-event | posix-event | sort,
|
| posix-event0 | posix-history | variable,
posix-event |
| posix-event1 | posix-history | variable,
posix-event |
| posix-event2 | posix-history | variable,
posix-event |
| posix-history | posix-history | sort,
|
| pr | path-permission | predicate,
user × path × state |
| pr | permission | predicate,
user × metadata |
| prefixn | address-list | function,
nat × address-list → address-list |
| prefixn | laddress-list | function,
nat × laddress-list → laddress-list |
| prefixn | list-prefixn | function,
nat × list → 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 |
| pxh | posix-history | variable,
posix-history |
| pxh0 | posix-history | variable,
posix-history |
| pxh1 | posix-history | variable,
posix-history |
| pxh10 | posix-history | variable,
posix-history |
| pxh2 | posix-history | variable,
posix-history |
| pxh3 | posix-history | variable,
posix-history |
| pxh4 | posix-history | variable,
posix-history |
| pxh5 | posix-history | variable,
posix-history |
| pxh6 | posix-history | variable,
posix-history |
| pxh7 | posix-history | variable,
posix-history |
| pxh8 | posix-history | variable,
posix-history |
| pxh9 | posix-history | variable,
posix-history |
| py | path-permission | predicate,
user × path × state |
| q | path | variable,
path |
| q0 | path | variable,
path |
| q1 | path | variable,
path |
| q2 | path | variable,
path |
| ran | store-access | function,
store → dataset |
| 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 |
| read | posix-event | function,
nat × buffer × nat × error → posix-event |
| readdir | posix-event | function,
path × stringset × error → posix-event |
| readmeta | posix-event | function,
path × metadata × error → posix-event |
| renam | posix-event | function,
path × path × error → posix-event |
| resize | buffer | function,
buffer × nat → buffer |
| resize | dataarray | function,
dataarray × nat → dataarray |
| resize | array-splice | function,
array × nat → array |
| restn | datastream | function,
nat × datalist → datalist |
| restn | path | function,
nat × path → path |
| restn | list-del | function,
nat × list → list |
| restn | buffer-inf | function,
nat × datalist → datalist |
| restn | nat-list | function,
nat × nat-list → nat-list |
| restn | address-list | function,
nat × address-list → address-list |
| restn | laddress-list | function,
nat × laddress-list → laddress-list |
| rev | datastream | function,
datalist → datalist |
| rev | buffer | function,
buffer × nat → buffer |
| rev | buffer | function,
buffer → buffer |
| rev | path | function,
path → path |
| rev | list-last | function,
list → list |
| rev | dataarray | function,
dataarray × nat → dataarray |
| rev | dataarray | function,
dataarray → dataarray |
| rev | array-copy | function,
array × nat → array |
| rev | array-copy | function,
array → array |
| rev | lp-array | function,
lp-array × nat → lp-array |
| rev | lp-array | function,
lp-array → lp-array |
| rev | buffer-inf | function,
datalist → datalist |
| rev | nat-list | function,
nat-list → nat-list |
| rev | address-list | function,
address-list → address-list |
| rev | laddress-list | function,
laddress-list → laddress-list |
| rmdir | posix-event | function,
path × error → posix-event |
| 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 | function,
nat-list → nat-list |
| rmdup | address-list | function,
address-list → address-list |
| rmdup | laddress-list | function,
laddress-list → laddress-list |
| s | set-basic | variable,
set |
| s0 | set-basic | variable,
set |
| s1 | set-basic | variable,
set |
| s2 | set-basic | variable,
set |
| seek | posix-event | function,
nat × nat × seekflag × error → posix-event |
| seekflag | seekflag | sort,
|
| set | set-basic | sort,
|
| slice | address-list | 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 |
| 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-base | variable,
store |
| st0 | store-base | variable,
store |
| st1 | store-base | variable,
store |
| st2 | store-base | variable,
store |
| state | permission-param | sort,
|
| store | store-base | sort,
|
| str | string-data | variable,
string |
| str0 | string-data | variable,
string |
| str1 | string-data | variable,
string |
| str2 | string-data | variable,
string |
| str3 | string-data | variable,
string |
| stream | stream-basic | sort,
|
| string | string-data | sort,
|
| strings | stringset | variable,
stringset |
| strings0 | stringset | variable,
stringset |
| strings1 | stringset | variable,
stringset |
| strings2 | stringset | variable,
stringset |
| stringset | stringset | sort,
|
| subarray | buffer | function,
buffer × nat × nat → buffer |
| subarray | dataarray | function,
dataarray × nat × nat → dataarray |
| subarray | array-copy | function,
array × nat × nat → array |
| subarray | lp-array | function,
lp-array × nat × nat → lp-array |
| sublist | datastream | function,
nat × nat × datalist → datalist |
| sublist | path | function,
nat × nat × path → path |
| sublist | list-del | function,
nat × nat × list → list |
| sublist | buffer-inf | function,
nat × nat × datalist → datalist |
| sublist | nat-list | function,
nat × nat × nat-list → nat-list |
| sublist | address-list | function,
nat × nat × address-list → address-list |
| sublist | laddress-list | function,
nat × nat × laddress-list → laddress-list |
| tl | datastream | function,
datastream → datastream |
| tl | stream | function,
stream → stream |
| tl | buffer-inf | function,
buffer-inf → buffer-inf |
| to | datastream | function,
nat → data × nat → datalist |
| to | datastream | function,
datalist × nat → datalist |
| to | datastream | function,
datastream × nat → datastream |
| to | stream | function,
nat → elem × nat → list |
| to | stream | function,
list × nat → list |
| to | stream | function,
stream × nat → stream |
| to | buffer-inf | function,
nat → data × nat → datalist |
| to | buffer-inf | function,
datalist × nat → datalist |
| to | buffer-inf | function,
buffer-inf × nat → buffer-inf |
| to∞ | datastream | function,
datastream × natinf → datastream |
| to∞ | stream | function,
stream × natinf → stream |
| to∞ | buffer-inf | function,
buffer-inf × natinf → buffer-inf |
| truncate | posix-event | function,
path × nat × error → posix-event |
| unlink | posix-event | function,
path × error → posix-event |
| unpack | elem-repr | function,
buffer → elem |
| user | user | variable,
user |
| user | user | sort,
|
| valid-indices | lp-array | predicate,
lp-array × nat-list |
| valid-indices | array-indices | predicate,
array × nat-list |
| whence | seekflag | variable,
seekflag |
| whence0 | posix-event | variable,
seekflag |
| write | posix-event | function,
nat × buffer × nat × error → posix-event |
| writemeta | posix-event | function,
path × metadata × error → posix-event |
| x | list-data | variable,
list |
| x0 | list-data | variable,
list |
| x1 | list-data | variable,
list |
| x2 | list-data | variable,
list |
| y | list-data | variable,
list |
| y0 | list-data | variable,
list |
| y1 | list-data | variable,
list |
| y2 | list-data | variable,
list |
| z | list-data | variable,
list |
| z0 | list-data | variable,
list |
| z1 | list-data | variable,
list |
| z2 | list-data | variable,
list |
| zero | buffer | constant,
data |
| zero | dataarray | constant,
data |
| zero | array-splice | constant,
elem |
| zeropage | page | constant,
buffer |
| } | 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 |
| } | key-set | 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 |
| ∅ | store-base | constant,
store |
| ∅ | set-basic | constant,
set |
| ∅ | key-set | constant,
key-set |
| ∈ | datastream | predicate,
data × datalist |
| ∈ | nat-set | predicate,
nat × nat-set |
| ∈ | alink-set | predicate,
alink × alink-set |
| ∈ | posix-history | predicate,
posix-event × posix-history |
| ∈ | buffer | predicate,
data × buffer |
| ∈ | stringset | predicate,
string × stringset |
| ∈ | path | predicate,
string × path |
| ∈ | list | predicate,
elem × list |
| ∈ | dataarray | predicate,
data × dataarray |
| ∈ | dataset | predicate,
data × dataset |
| ∈ | store-access | predicate,
data × store |
| ∈ | store-access | predicate,
elem × store |
| ∈ | array-copy | predicate,
elem × array |
| ∈ | set-basic | predicate,
elem × set |
| ∈ | lp-array | predicate,
lprops × lp-array |
| ∈ | buffer-inf | predicate,
data × datalist |
| ∈ | nat-list | predicate,
nat × nat-list |
| ∈ | key-set | predicate,
key × key-set |
| ∈ | address-list | predicate,
address × address-list |
| ∈ | laddress-list | predicate,
laddress × laddress-list |
| ∞ | nat-inf-basic | 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 |
| ∩ | key-set | 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 |
| ∪ | key-set | 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 |
| ⊆ | store-access | predicate,
store × store |
| ⊆ | set-basic | predicate,
set × set |
| ⊆ | key-set | predicate,
key-set × key-set |
| ⊑ | datastream | predicate,
datalist × datalist |
| ⊑ | path | predicate,
path × path |
| ⊑ | list-last | predicate,
list × list |
| ⊑ | buffer-inf | predicate,
datalist × datalist |
| ⊑ | nat-list | predicate,
nat-list × nat-list |
| ⊑ | address-list | predicate,
address-list × address-list |
| ⊑ | laddress-list | predicate,
laddress-list × laddress-list |
| ⊒ | datastream | predicate,
datalist × datalist |
| ⊒ | path | predicate,
path × path |
| ⊒ | list-last | predicate,
list × list |
| ⊒ | buffer-inf | predicate,
datalist × datalist |
| ⊒ | nat-list | predicate,
nat-list × nat-list |
| ⊒ | address-list | predicate,
address-list × address-list |
| ⊒ | laddress-list | predicate,
laddress-list × laddress-list |
| ⌋ | error-class | predicate,
error |
| ⌝ | datastream-conv | function,
dataarray → datastream |
| ⌝ | datastream | function,
nat → data → datastream |
| ⌝ | datastream | function,
datalist → datastream |
| ⌝ | nat-inf-basic | 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 |