| symbol | specification | entry |
|---|
| # | buffer | function,
buffer → nat |
| # | array | function,
array → nat |
| # | set-basic | function,
set → nat |
| # | nat-set | function,
nat-set → nat |
| # | avolume | function,
avolume → nat |
| # | list-data | function,
list → nat |
| # | nat-list-set | function,
nat-set → nat |
| # | nat-list-set | function,
nat-list → nat |
| # | lp-array | function,
lp-array → nat |
| # | string | function,
string → nat |
| % | nat-div | partial function,
nat × nat → nat |
| ' | list | function,
elem → list |
| ' | nat-list-set | function,
nat → nat-list |
| ' | string | function,
char → string |
| * | nat-mult | function,
nat × nat → nat |
| + | buffer | function,
buffer × buffer → buffer |
| + | array-splice | function,
array × array → array |
| + | avolume | function,
avolume × avolume → avolume |
| + | list-data | function,
elem × list → list |
| + | list | function,
list × elem → list |
| + | list | function,
list × list → list |
| + | 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 |
| + | string | function,
string × char → string |
| + | string | function,
string × string → string |
| + | string | function,
char × string → string |
| + | nat-basic | function,
nat × nat → nat |
| ++ | set-basic | function,
set × elem → set |
| ++ | nat-set | function,
nat-set × nat → nat-set |
| ++ | list-dup | function,
list × elem → list |
| ++ | nat-list-set | function,
nat-set × nat → nat-set |
| ++ | nat-list-set | function,
nat-list × nat → nat-list |
| ++ | string | function,
string × char → string |
| +1 | nat-basic | function,
nat → nat |
| +2 | list | function,
elem × elem → list |
| +2 | nat-list-set | function,
nat × nat → nat-list |
| +2 | string | function,
char × char → string |
| - | nat | partial function,
nat × nat → nat |
| -- | set-union | function,
set × elem → set |
| -- | nat-set | function,
nat-set × nat → nat-set |
| -- | nat-list-set | function,
nat-set × nat → nat-set |
| -1 | nat-basic | partial function,
nat → nat |
| -1l | list-del | function,
list × elem → list |
| -1l | nat-list-set | function,
nat-list × nat → nat-list |
| -1l | string | function,
string × char → string |
| -l | list-del | function,
list × elem → list |
| -l | nat-list-set | function,
nat-list × nat → nat-list |
| -l | string | function,
string × char → string |
| -p | list-del | function,
list × nat → list |
| -p | nat-list-set | function,
nat-list × nat → nat-list |
| -p | string | function,
string × nat → string |
| .butlast | list-last | partial function,
list → list |
| .butlast | nat-list-set | partial function,
nat-list → nat-list |
| .butlast | string | partial function,
string → string |
| .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 | aleb | partial function,
aleb → buffer |
| .data:= | aleb | partial function,
aleb × buffer → aleb |
| .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 | list-data | partial function,
list → elem |
| .head | nat-list-set | partial function,
nat-list → nat |
| .indexaddr | superblock | function,
superblock → address |
| .indexaddr:= | superblock | function,
superblock × address → superblock |
| .indicesWhere | array-indices | function,
array × elem → bool × nat → nat-list |
| .indicesWhere | array-indices | function,
array × elem → bool → nat-list |
| .indicesWhere | lp-array | function,
lp-array × lprops → bool × nat → nat-list |
| .indicesWhere | lp-array | function,
lp-array × lprops → bool → nat-list |
| .last | list-last | partial function,
list → elem |
| .last | nat-list-set | partial function,
nat-list → nat |
| .last | string | partial function,
string → char |
| .leb | ref-node | function,
ref-node → nat |
| .leb:= | ref-node | function,
ref-node × nat → ref-node |
| .log | superblock | function,
superblock → nat |
| .log:= | superblock | function,
superblock × nat → superblock |
| .lpt | superblock | function,
superblock → nat |
| .lpt:= | superblock | function,
superblock × nat → superblock |
| .main | superblock | function,
superblock → nat |
| .main:= | superblock | function,
superblock × nat → superblock |
| .map | array-indices | function,
array × elem → elem → array |
| .map | array-indices | function,
nat-set × nat → nat → nat-set |
| .map | lp-array | function,
lp-array × 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 |
| .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 |
| .mapIndices | array-indices | function,
array × nat-set × elem → elem → array |
| .mapIndices | array-indices | function,
array × nat-list × 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 |
| .mapped? | aleb | predicate,
aleb |
| .max | oset | partial function,
set → elem |
| .max | nat-set | partial function,
nat-set → nat |
| .maxino | superblock | function,
superblock → nat |
| .maxino:= | superblock | function,
superblock × nat → superblock |
| .min | oset | partial function,
set → elem |
| .min | nat-set | partial function,
nat-set → nat |
| .orph | superblock | function,
superblock → nat |
| .orph:= | superblock | function,
superblock × nat → superblock |
| .orphsize | superblock | function,
superblock → nat |
| .orphsize:= | superblock | function,
superblock × nat → superblock |
| .ref-size | lprops | function,
lprops → nat |
| .ref-size:= | lprops | function,
lprops × nat → lprops |
| .rstring | string | partial function,
string → string |
| .size | lprops | function,
lprops → nat |
| .size:= | lprops | function,
lprops × nat → lprops |
| .tail | list-data | partial function,
list → list |
| .tail | nat-list-set | partial function,
nat-list → nat-list |
| .toSet | nat-list-set | function,
nat-list → nat-set |
| .toSet | list+set | function,
list → set |
| .toString | debug | function,
nat → string |
| / | nat-div | partial function,
nat × nat → nat |
| < | oelem | predicate,
elem × elem |
| < | oset | predicate,
set × elem |
| < | oset | predicate,
elem × set |
| < | nat-set | predicate,
nat-set × nat |
| < | nat-set | predicate,
nat × nat-set |
| < | list-data | predicate,
list × list |
| < | nat-list-set | predicate,
nat-list × nat-list |
| < | nat-list-less | predicate,
nat-list × nat |
| < | nat-basic | predicate,
nat × nat |
| > | nat | predicate,
nat × nat |
| AVOL | ebm-avol-asm | variable,
avolume,flexible |
| BUF | apersistence-io-asm | variable,
buffer,flexible |
| BUF | ebm-avol-asm | variable,
buffer,flexible |
| BUF0 | apersistence-io-asm | variable,
buffer,flexible |
| BUF0 | ebm-avol-asm | variable,
buffer,flexible |
| Boolvar | encoding-superblock | variable,
bool,flexible |
| Boolvar | encoding-ref-node | variable,
bool,flexible |
| Boolvar | encoding-lprops | variable,
bool,flexible |
| Boolvar | encoding-nat | variable,
bool,flexible |
| COMMIT? | apersistence-io-asm | variable,
bool,flexible |
| COMMIT? | persistence-io-asm | 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_LPROPS_SIZE | encoding-lprops | constant,
nat |
| ENCODED_NAT_SIZE | encoding-nat | constant,
nat |
| ENCODED_REF_NODE_SIZE | encoding-ref-node | 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 |
| INDEXADR | persistence-io-asm | variable,
address,flexible |
| INDEXADR0 | persistence-io-asm | variable,
address,flexible |
| ISBUF | apersistence-io-asm | variable,
bool,flexible |
| LEBSIZE | persistence-io-asm | variable,
nat,flexible |
| LEB_SIZE | eraseblock | constant,
nat |
| LNUM | apersistence-io-asm | variable,
nat,flexible |
| LNUM | ebm-avol-asm | variable,
nat,flexible |
| LOG | apersistence-io-asm | variable,
nat-list,flexible |
| LOG | persistence-io-asm | variable,
nat-list,flexible |
| LOGOFF | persistence-io-asm | variable,
nat,flexible |
| LPT | apersistence-io-asm | variable,
lp-array,flexible |
| LPT | persistence-io-asm | variable,
lp-array,flexible |
| LP_FREE | lprops | constant,
lpropflags |
| LP_GROUP_NODES | lprops | constant,
lpropflags |
| LP_INDEX_NODES | lprops | constant,
lpropflags |
| MAXINO | persistence-io-asm | variable,
nat,flexible |
| MAXINO0 | persistence-io-asm | variable,
nat,flexible |
| N | apersistence-io-asm | variable,
nat,flexible |
| N | ebm-avol-asm | variable,
nat,flexible |
| N0 | apersistence-io-asm | variable,
nat,flexible |
| N0 | ebm-avol-asm | variable,
nat,flexible |
| N1 | apersistence-io-asm | variable,
nat,flexible |
| N1 | ebm-avol-asm | variable,
nat,flexible |
| NEWSB | persistence-io-asm | variable,
superblock,flexible |
| OFFSET | apersistence-io-asm | variable,
nat,flexible |
| OFFSET | ebm-avol-asm | variable,
nat,flexible |
| ORPHANS | apersistence-io-asm | variable,
nat-set,flexible |
| ORPHANS | persistence-io-asm | variable,
nat-set,flexible |
| PAGESIZE | persistence-io-asm | variable,
nat,flexible |
| PAGES_PER_LEB | eraseblock | constant,
nat |
| PAGES_PER_PEB | eraseblock | constant,
nat |
| PEB_SIZE | eraseblock | constant,
nat |
| PLOG | apersistence-io-asm | variable,
nat-list,flexible |
| PLPT | apersistence-io-asm | variable,
lp-array,flexible |
| PMAXINO | apersistence-io-asm | variable,
nat,flexible |
| PMAXINO0 | apersistence-io-asm | variable,
nat,flexible |
| PORPHANS | apersistence-io-asm | variable,
nat-set,flexible |
| PROOTADR | apersistence-io-asm | variable,
address,flexible |
| PROOTADR0 | apersistence-io-asm | variable,
address,flexible |
| PVOL | apersistence-io-asm | variable,
avolume,flexible |
| RND | persistence-io-asm | variable,
ref-node,flexible |
| SB | persistence-io-asm | variable,
superblock,flexible |
| SB_LOG | persistence-io-inv | constant,
nat |
| SB_LPT | persistence-io-inv | constant,
nat |
| SB_ORPH | persistence-io-inv | constant,
nat |
| SIZE | apersistence-io-asm | variable,
nat,flexible |
| SIZE | persistence-io-asm | variable,
nat,flexible |
| VOLSIZE | apersistence-io-asm | variable,
nat,flexible |
| VOLSIZE | ebm-avol-asm | variable,
nat,flexible |
| [] | list-data | constant,
list |
| [] | nat-list-set | constant,
nat-list |
| \ | set-union | function,
set × set → set |
| \ | nat-set | function,
nat-set × nat-set → nat-set |
| \ | nat-list-set | function,
nat-set × nat-set → nat-set |
| ] | buffer | partial function,
buffer × nat × data → buffer |
| ] | buffer | partial function,
buffer × nat → data |
| ] | array | partial function,
array × nat × elem → array |
| ] | array | partial function,
array × nat → elem |
| ] | avolume | partial function,
avolume × nat × aleb → avolume |
| ] | avolume | partial function,
avolume × nat → aleb |
| ] | list-del | partial function,
list × nat × elem → list |
| ] | list-del | partial function,
list × nat → elem |
| ] | nat-list-set | partial function,
nat-list × nat × nat → nat-list |
| ] | nat-list-set | partial function,
nat-list × nat → nat |
| ] | lp-array | partial function,
lp-array × nat × lprops → lp-array |
| ] | lp-array | partial function,
lp-array × nat → lprops |
| ] | string | partial function,
string × nat × char → string |
| ] | string | partial function,
string × nat → char |
| a | elem | variable,
elem |
| a0 | list-data | variable,
elem |
| address | address | sort,
|
| 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 |
| aleb | aleb | variable,
aleb |
| aleb | aleb | sort,
|
| aleb0 | avolume | variable,
aleb |
| aleb1 | avolume | variable,
aleb |
| align↑ | align | function,
nat × nat → nat |
| align↓ | align | function,
nat × nat → nat |
| apersistence_io_add_log_leb# | apersistence-io-asm | procedure,
nat × address × nat × avolume × lp-array × nat-set : nat-list : error |
| apersistence_io_commit# | apersistence-io-asm | procedure,
lp-array × address × nat × avolume
: nat-set × address × nat × nat-list × lp-array × nat-set
: error |
| apersistence_io_format# | apersistence-io-asm | procedure,
nat × nat × lp-array × address × nat
:
: address × nat × nat-list × avolume × lp-array × nat-set × error |
| apersistence_io_get_leb_size# | apersistence-io-asm | procedure,
address × nat × nat-list × avolume × lp-array × nat-set : : nat |
| apersistence_io_get_page_size# | apersistence-io-asm | procedure,
address × nat × nat-list × avolume × lp-array × nat-set : : nat |
| apersistence_io_get_volume_size# | apersistence-io-asm | procedure,
address × nat × nat-list × avolume × lp-array × nat-set : : nat |
| apersistence_io_read# | apersistence-io-asm | procedure,
nat × nat × nat × nat × address × nat × nat-list × avolume × lp-array ×
nat-set
: buffer
: error |
| apersistence_io_recover# | apersistence-io-asm | procedure,
: address × nat × nat-set × nat-list × lp-array × address × nat ×
nat-list × lp-array × nat-set × avolume
: error |
| apersistence_io_remap# | apersistence-io-asm | procedure,
nat × address × nat × nat-list × lp-array × nat-set : avolume : error |
| apersistence_io_requires_commit# | apersistence-io-asm | procedure,
address × nat × nat-list × avolume × lp-array × nat-set : : bool |
| apersistence_io_unmap# | apersistence-io-asm | procedure,
nat × address × nat × nat-list × lp-array × nat-set : avolume |
| apersistence_io_write# | apersistence-io-asm | procedure,
nat × nat × nat × nat × buffer × address × nat × nat-list × lp-array ×
nat-set
: avolume
: error |
| ar | array | variable,
array |
| ar0 | array | variable,
array |
| ar1 | array | variable,
array |
| ar2 | array | variable,
array |
| array | array | sort,
|
| avol | avolume | variable,
avolume |
| avol0 | avolume | variable,
avolume |
| avol1 | avolume | variable,
avolume |
| avol2 | avolume | variable,
avolume |
| avolume | avolume | sort,
|
| b | elem | variable,
elem |
| boolvar | encoding-superblock | variable,
bool |
| boolvar | encoding-ref-node | variable,
bool |
| boolvar | encoding-lprops | variable,
bool |
| boolvar | encoding-nat | variable,
bool |
| boolvar0 | encoding-superblock | variable,
bool |
| boolvar0 | encoding-ref-node | variable,
bool |
| boolvar0 | encoding-lprops | variable,
bool |
| boolvar0 | encoding-nat | variable,
bool |
| boolvar1 | encoding-superblock | variable,
bool |
| boolvar1 | encoding-ref-node | variable,
bool |
| boolvar1 | encoding-lprops | variable,
bool |
| boolvar1 | encoding-nat | variable,
bool |
| buf | buffer | variable,
buffer |
| buf0 | buffer | variable,
buffer |
| buf1 | buffer | variable,
buffer |
| buf2 | buffer | variable,
buffer |
| buffer | buffer | sort,
|
| butlastn | list-last | partial function,
nat × list → list |
| butlastn | nat-list-set | partial function,
nat × nat-list → nat-list |
| butlastn | string | partial function,
nat × string → string |
| c | elem | variable,
elem |
| char | char | variable,
char |
| char | char | sort,
|
| char0 | char | variable,
char |
| char1 | char | variable,
char |
| char2 | char | variable,
char |
| cmp | buffer | partial predicate,
buffer × data × nat × nat |
| cmp | buffer | partial predicate,
buffer × nat × buffer × nat × nat |
| cmp | array-copy | partial predicate,
array × elem × nat × nat |
| cmp | array-copy | partial predicate,
array × nat × array × nat × nat |
| cmp | avolume | partial predicate,
avolume × aleb × nat × nat |
| cmp | avolume | partial predicate,
avolume × nat × avolume × nat × nat |
| cmp | lp-array | partial predicate,
lp-array × lprops × nat × nat |
| cmp | lp-array | partial predicate,
lp-array × nat × lp-array × nat × nat |
| copy | buffer | partial function,
buffer × nat × buffer × nat × nat → buffer |
| copy | array-copy | partial function,
array × nat × array × nat × nat → array |
| copy | avolume | partial function,
avolume × nat × avolume × nat × nat → avolume |
| copy | lp-array | partial function,
lp-array × nat × lp-array × nat × nat → lp-array |
| d | data | variable,
data |
| d0 | data | variable,
data |
| d1 | data | variable,
data |
| d2 | data | variable,
data |
| data | data | 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_lprops# | encoding-lprops | procedure,
nat × buffer : lprops × 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 |
| decode_ref_node# | encoding-ref-node | procedure,
nat × buffer : ref-node : error |
| decode_ref_node_empty# | encoding-ref-node | procedure,
nat × buffer : ref-node × nat : error |
| decode_ref_node_nonempty# | encoding-ref-node | procedure,
nat × buffer : ref-node : error |
| decode_superblock# | encoding-superblock | procedure,
nat × buffer × nat : superblock × nat : error |
| decode_superblock_unaligned# | encoding-superblock | procedure,
nat × buffer : superblock × nat : error |
| disj | list-dup | predicate,
list × list |
| disj | nat-list-set | predicate,
nat-list × nat-list |
| disj | string | predicate,
string × string |
| disk-layout | persistence-io-inv | predicate,
superblock × nat |
| dropn | nat-list-set | function,
nat × nat-list → nat-list |
| dropn | list-prefixn | function,
nat × list → list |
| dups | list-dup | predicate,
list |
| dups | nat-list-set | predicate,
nat-list |
| dups | string | predicate,
string |
| ebm-vol-inv | ebm-vol-inv | predicate,
avolume |
| ebm_avol_change# | ebm-avol-asm | procedure,
nat × nat × buffer : avolume : error |
| ebm_avol_format# | ebm-avol-asm | procedure,
nat : : avolume × error |
| ebm_avol_get_leb_size# | ebm-avol-asm | procedure,
avolume : : nat |
| ebm_avol_get_page_size# | ebm-avol-asm | procedure,
avolume : : nat |
| ebm_avol_get_volume_size# | ebm-avol-asm | procedure,
avolume : : nat |
| ebm_avol_read# | ebm-avol-asm | procedure,
nat × nat × nat × nat × avolume : buffer : error |
| ebm_avol_recover# | ebm-avol-asm | procedure,
: avolume : error |
| ebm_avol_remap# | ebm-avol-asm | procedure,
nat : avolume : error |
| ebm_avol_sync_device# | ebm-avol-asm | procedure,
avolume : : error |
| ebm_avol_unmap# | ebm-avol-asm | procedure,
nat : avolume |
| ebm_avol_write# | ebm-avol-asm | procedure,
nat × nat × nat × nat × buffer : avolume : error |
| elem | elem | sort,
|
| empty | buffer | constant,
data |
| empty | array-splice | constant,
elem |
| empty | avolume | constant,
aleb |
| 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_lprops# | encoding-lprops | procedure,
lprops × 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 |
| encode_ref_node# | encoding-ref-node | procedure,
nat × ref-node : buffer : error |
| encode_ref_node_empty# | encoding-ref-node | procedure,
ref-node × nat : buffer × nat : error |
| encode_ref_node_nonempty# | encoding-ref-node | procedure,
ref-node × nat : buffer : error |
| encode_superblock# | encoding-superblock | procedure,
superblock × nat × nat : buffer × nat : error |
| encode_superblock_unaligned# | encoding-superblock | procedure,
superblock × nat : buffer × nat : error |
| encoding-size | encoding-superblock | function,
superblock × nat → nat |
| encoding-size | encoding-ref-node | function,
ref-node → nat |
| encoding-size | encoding-lprops | function,
lprops → nat |
| encoding-size | encoding | function,
elem → nat |
| encoding-size | encoding-nat | function,
nat → nat |
| encoding-size-unaligned | encoding-superblock | function,
superblock → 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 |
| fill | buffer | partial function,
buffer × data × nat × nat → buffer |
| fill | buffer | function,
buffer × data → buffer |
| fill | array-copy | partial function,
array × elem × nat × nat → array |
| fill | array-copy | function,
array × elem → array |
| fill | avolume | partial function,
avolume × aleb × nat × nat → avolume |
| fill | avolume | function,
avolume × aleb → avolume |
| fill | lp-array | partial function,
lp-array × lprops × nat × nat → lp-array |
| fill | lp-array | function,
lp-array × lprops → lp-array |
| fillfirst | list-last | function,
nat × elem × list → list |
| fillfirst | nat-list-set | function,
nat × nat × nat-list → nat-list |
| fillfirst | string | function,
nat × char × string → string |
| firstn | list-del | partial function,
nat × list → list |
| firstn | nat-list-set | partial function,
nat × nat-list → nat-list |
| firstn | string | partial function,
nat × string → string |
| fn | array-indices | variable,
nat → nat |
| frome | list-del | function,
list × elem → list |
| frome | nat-list-set | function,
nat-list × nat → nat-list |
| frome | string | function,
string × char → string |
| idrange | buffer | partial predicate,
buffer × nat × nat |
| idrange | array-copy | partial predicate,
array × nat × nat |
| idrange | avolume | partial predicate,
avolume × nat × nat |
| idrange | lp-array | partial predicate,
lp-array × nat × nat |
| id○ | buffer | predicate,
buffer × buffer × nat |
| id○ | array-copy | predicate,
array × array × nat |
| id○ | avolume | predicate,
avolume × avolume × nat |
| id○ | lp-array | predicate,
lp-array × lp-array × nat |
| is-aligned | align | predicate,
nat × nat |
| is-encoded | encoding-superblock | predicate,
superblock × buffer |
| is-encoded | encoding-ref-node | predicate,
ref-node × buffer |
| is-encoded | encoding-lprops | predicate,
lprops × buffer |
| is-encoded | encoding-log | predicate,
nat-list × buffer |
| is-encoded | encoding-lpt | predicate,
lp-array × buffer |
| is-encoded | encoding-lpt | predicate,
lp-array × buffer × nat |
| is-encoded | encoding-orphans | predicate,
nat-set × buffer |
| is-encoded | encoding | predicate,
elem × buffer |
| is-encoded | encoding-nat | predicate,
nat × buffer |
| is-encoded-aligned | encoding-aligned | predicate,
elem × buffer |
| is-encoded-empty | encoding-ref-node | predicate,
ref-node × buffer |
| is-encoded-nonempty | encoding-ref-node | predicate,
ref-node × buffer |
| is-encoded-nonempty | encoding-fixed-size-nonempty | predicate,
elem × buffer |
| is-encoded-pad | encoding-orphans | predicate,
nat-set × nat × buffer |
| is-encoded-pagesize | encoding-page-size-nonempty | predicate,
elem × buffer |
| is-encoded-unaligned | encoding-superblock | predicate,
superblock × buffer |
| is-garbage | encoding | predicate,
buffer |
| is-garbage-lprops | encoding-lprops | 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 |
| is-garbage-rnode | encoding-ref-node | predicate,
buffer |
| is-garbage-rnode-empty | encoding-ref-node | predicate,
buffer |
| is-garbage-rnode-nonempty | encoding-ref-node | predicate,
buffer |
| is-garbage-sb-unaligned | encoding-superblock | predicate,
buffer |
| isbuf | apersistence-io-asm | variable,
bool |
| isempty | eraseblock | predicate,
buffer × nat × nat |
| isempty | eraseblock | predicate,
buffer |
| lastn | list-del | partial function,
nat × list → list |
| lastn | nat-list-set | partial function,
nat × nat-list → nat-list |
| lastn | string | partial function,
nat × string → string |
| lebs | persistence-io-inv | function,
avolume × nat × nat → buffer |
| list | list-data | sort,
|
| log | apersistence-io-asm | variable,
nat-list |
| log | persistence-io-inv | variable,
nat-list |
| logoff | persistence-io-inv | variable,
nat |
| lp | lprops | variable,
lprops |
| lp-array | lp-array | sort,
|
| lp0 | lprops | variable,
lprops |
| lp1 | lp-array | variable,
lprops |
| lp1 | encoding-lprops | 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 |
| lptlebs | encoding-lpt | function,
nat × nat → nat |
| lptsize | encoding-lpt | function,
nat × nat → nat |
| m | nat-basic | variable,
nat |
| m0 | array-copy | variable,
nat |
| m0 | superblock | variable,
nat |
| m0 | ref-node | variable,
nat |
| m0 | lprops | variable,
nat |
| m1 | superblock | variable,
nat |
| m1 | lprops | variable,
nat |
| m10 | superblock | variable,
nat |
| m2 | superblock | variable,
nat |
| m2 | lprops | variable,
nat |
| m3 | superblock | variable,
nat |
| m3 | lprops | variable,
nat |
| m4 | superblock | variable,
nat |
| m4 | lprops | variable,
nat |
| m5 | superblock | variable,
nat |
| m6 | superblock | variable,
nat |
| m7 | superblock | variable,
nat |
| m8 | superblock | variable,
nat |
| m9 | superblock | variable,
nat |
| main | persistence-io-inv | variable,
nat |
| mainareasize | encoding-lpt | variable,
nat |
| mapped | aleb | function,
buffer → aleb |
| mapped-full? | persistence-io-inv | predicate,
avolume × nat × nat |
| max | min-max | function,
nat × nat → nat |
| min | min-max | function,
nat × nat → nat |
| mkarray | array | function,
nat → array |
| mkavolume | avolume | function,
nat → avolume |
| mkbuf | buffer | function,
nat → buffer |
| mkemparray | array-splice | function,
nat → array |
| mkemparray | avolume | function,
nat → avolume |
| mkempbuf | buffer | function,
nat → buffer |
| mklist | list-last | function,
elem × nat → list |
| mklist | nat-list-set | function,
nat × nat → nat-list |
| mklist | string | function,
char × nat → string |
| mklp | lprops | function,
nat × nat × lpropflags × nat → lprops |
| mklparray | lp-array | function,
nat → lp-array |
| mksb | superblock | function,
address × nat × nat × nat × nat × nat × nat → superblock |
| mkzarray | array-splice | function,
nat → array |
| mkzarray | avolume | function,
nat → avolume |
| mkzbuf | buffer | function,
nat → buffer |
| 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,
|
| 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 |
| orphans | persistence-io-inv | variable,
nat-set |
| persistence-io-inv | persistence-io-inv | predicate,
superblock × nat × avolume × lp-array × nat-list × nat-set |
| persistence_io_add_log_leb# | persistence-io-asm | procedure,
nat × superblock × nat × nat : nat × avolume : error |
| persistence_io_commit# | persistence-io-asm | procedure,
lp-array × address × nat × nat × nat
: nat-set × superblock × avolume × nat
: error |
| persistence_io_decode_lpt# | persistence-io-asm | procedure,
buffer : lp-array × error |
| persistence_io_decode_orphans# | persistence-io-asm | procedure,
nat × buffer : : nat-set × error |
| persistence_io_encode_lpt# | persistence-io-asm | procedure,
lp-array × nat : : buffer × error |
| persistence_io_encode_orphans# | persistence-io-asm | procedure,
nat × nat : nat-set × buffer : error |
| persistence_io_format# | persistence-io-asm | procedure,
nat × nat × lp-array × address × nat
: superblock × nat × nat × avolume
: nat × error |
| persistence_io_get_leb_size# | persistence-io-asm | procedure,
nat : : nat |
| persistence_io_get_page_size# | persistence-io-asm | procedure,
nat : : nat |
| persistence_io_get_volume_size# | persistence-io-asm | procedure,
superblock × avolume : : nat |
| persistence_io_read# | persistence-io-asm | procedure,
nat × nat × nat × nat × superblock × avolume : buffer : error |
| persistence_io_read_lebs# | persistence-io-asm | procedure,
nat × nat × nat × avolume : : buffer × error |
| persistence_io_read_log# | persistence-io-asm | procedure,
superblock × nat × nat × avolume : nat : nat-list × error |
| persistence_io_read_orphans# | persistence-io-asm | procedure,
superblock × avolume : nat-set : error |
| persistence_io_read_superblock# | persistence-io-asm | procedure,
nat × nat × avolume : superblock : error |
| persistence_io_recover# | persistence-io-asm | procedure,
: address × nat × nat-set × nat-list × lp-array × superblock × nat ×
nat × nat × avolume
: error |
| persistence_io_remap# | persistence-io-asm | procedure,
nat × superblock : avolume : error |
| persistence_io_requires_commit# | persistence-io-asm | procedure,
nat × nat : : bool |
| persistence_io_unmap# | persistence-io-asm | procedure,
nat × superblock : avolume |
| persistence_io_write# | persistence-io-asm | procedure,
nat × nat × nat × nat × buffer × superblock : avolume : error |
| persistence_io_write_lebs# | persistence-io-asm | procedure,
nat × nat × buffer × nat : avolume : error |
| persistence_io_write_orphans# | persistence-io-asm | procedure,
nat × nat × nat : nat-set × avolume : error |
| persistence_io_write_superblock# | persistence-io-asm | procedure,
superblock × nat × nat : avolume : error |
| plog | apersistence-io-asm | variable,
nat-list |
| pos | list-del | function,
elem × list → nat |
| pos | nat-list-set | function,
nat × nat-list → nat |
| pos | string | function,
char × string → nat |
| prefixn | nat-list-set | function,
nat × nat-list → nat-list |
| prefixn | list-prefixn | function,
nat × list → list |
| range= | buffer | predicate,
buffer × nat × buffer × nat × nat |
| range= | array-splice | predicate,
array × nat × array × nat × nat |
| range= | avolume | predicate,
avolume × nat × avolume × nat × nat |
| ref-node | ref-node | sort,
|
| resize | buffer | function,
buffer × nat → buffer |
| resize | array-splice | function,
array × nat → array |
| resize | avolume | function,
avolume × nat → avolume |
| restn | list-del | partial function,
nat × list → list |
| restn | nat-list-set | partial function,
nat × nat-list → nat-list |
| restn | string | partial function,
nat × string → string |
| rev | buffer | partial function,
buffer × nat → buffer |
| rev | buffer | function,
buffer → buffer |
| rev | array-copy | partial function,
array × nat → array |
| rev | array-copy | function,
array → array |
| rev | avolume | partial function,
avolume × nat → avolume |
| rev | avolume | function,
avolume → avolume |
| rev | list-last | function,
list → list |
| rev | nat-list-set | function,
nat-list → nat-list |
| rev | lp-array | partial function,
lp-array × nat → lp-array |
| rev | lp-array | function,
lp-array → lp-array |
| rev | string | function,
string → string |
| rmdup | list-dup | function,
list → list |
| rmdup | nat-list-set | function,
nat-list → nat-list |
| rmdup | string | function,
string → string |
| rnd | ref-node | variable,
ref-node |
| rnd0 | ref-node | variable,
ref-node |
| rnd1 | ref-node | variable,
ref-node |
| rnode | ref-node | function,
nat → ref-node |
| s | set-basic | variable,
set |
| s0 | set-basic | variable,
set |
| s1 | set-basic | variable,
set |
| s2 | set-basic | variable,
set |
| sb | superblock | variable,
superblock |
| sb0 | superblock | variable,
superblock |
| sb1 | superblock | variable,
superblock |
| set | set-basic | sort,
|
| size-aligned | encoding-aligned | function,
elem × nat → nat |
| slice | nat-list-set | function,
nat × nat × nat-list → nat-list |
| slice | list-prefixn | function,
nat × nat × list → list |
| splice | buffer | function,
buffer × nat × buffer × nat × nat → buffer |
| splice | array-splice | function,
array × nat × array × nat × nat → array |
| splice | avolume | function,
avolume × nat × avolume × nat × nat → avolume |
| str | string | variable,
string |
| str0 | string | variable,
string |
| str1 | string | variable,
string |
| str2 | string | variable,
string |
| str3 | string | variable,
string |
| string | string | sort,
|
| subarray | buffer | partial function,
buffer × nat × nat → buffer |
| subarray | array-copy | partial function,
array × nat × nat → array |
| subarray | avolume | partial function,
avolume × nat × nat → avolume |
| subarray | lp-array | partial function,
lp-array × nat × nat → lp-array |
| sublist | list-del | partial function,
nat × nat × list → list |
| sublist | nat-list-set | partial function,
nat × nat × nat-list → nat-list |
| sublist | string | partial function,
nat × nat × string → string |
| superblock | superblock | sort,
|
| unmapped | aleb | constant,
aleb |
| valid-indices | array-indices | predicate,
array × nat-list |
| valid-indices | lp-array | predicate,
lp-array × nat-list |
| 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 | array-splice | constant,
elem |
| zero | avolume | constant,
aleb |
| } | set-union | function,
elem → set |
| } | nat-set | function,
nat → nat-set |
| } | nat-list-set | function,
nat → nat-set |
| φ | array-indices | variable,
elem → bool |
| φ | lp-array | variable,
lprops → bool |
| φn | array-indices | variable,
nat → bool |
| ∅ | set-basic | constant,
set |
| ∅ | nat-set | constant,
nat-set |
| ∅ | nat-list-set | constant,
nat-set |
| ∈ | buffer | predicate,
data × buffer |
| ∈ | array-copy | predicate,
elem × array |
| ∈ | set-basic | predicate,
elem × set |
| ∈ | nat-set | predicate,
nat × nat-set |
| ∈ | avolume | predicate,
aleb × avolume |
| ∈ | list | predicate,
elem × list |
| ∈ | nat-list-set | predicate,
nat × nat-set |
| ∈ | nat-list-set | predicate,
nat × nat-list |
| ∈ | lp-array | predicate,
lprops × lp-array |
| ∈ | string | predicate,
char × string |
| ∩ | set-union | function,
set × set → set |
| ∩ | nat-set | function,
nat-set × nat-set → nat-set |
| ∩ | nat-list-set | function,
nat-set × nat-set → nat-set |
| ∪ | set-union | function,
set × set → set |
| ∪ | nat-set | function,
nat-set × nat-set → nat-set |
| ∪ | nat-list-set | function,
nat-set × nat-set → nat-set |
| ≤ | nat | predicate,
nat × nat |
| ≥ | nat | predicate,
nat × nat |
| ⊆ | set-basic | predicate,
set × set |
| ⊆ | nat-set | predicate,
nat-set × nat-set |
| ⊆ | nat-list-set | predicate,
nat-set × nat-set |
| ⊆ | ebm-vol-inv | predicate,
avolume × avolume |
| ⊏ | string | predicate,
string × string |
| ⊑ | list-last | predicate,
list × list |
| ⊑ | nat-list-set | predicate,
nat-list × nat-list |
| ⊑ | string | predicate,
string × string |
| ⊒ | list-last | predicate,
list × list |
| ⊒ | nat-list-set | predicate,
nat-list × nat-list |
| ⊒ | string | predicate,
string × string |
| ⌋ | error-class | predicate,
error |