[Imprint][Data Privacy Statement][E-Mail]

Back to the index. View project statistic. View project symbols. View KIV symbols to check that all symbols are available.

All project symbols

symbol	specification	entry
#	store	function, store → nat
#	fidbag	function, fidbag → nat
#	bag-union	function, bag → nat
#	buffer	function, buffer → nat
#	stringset	function, stringset → nat
#	path	function, path → nat
#	fidset	function, fidset → nat
#	directory-tree-inst	function, stringset → nat
#	directory-tree-base	function, entries-tree → nat
#	dataset	function, dataset → nat
#	open-file-handles	function, nat-set → nat
#	open-file-handles	function, open-file-handles → nat
#	file-data-store	function, fidset → nat
#	file-data-store	function, file-data-store → nat
#	array	function, array → nat
#	set-basic	function, set → nat
#	list-data	function, list → nat
#	pathset	function, pathset → nat
#	string	function, string → nat
#n	directory-tree	function, entries-tree → nat
#n	directory-tree	function, directory-tree → nat
%	nat-div	partial function, nat × nat → nat
'	path	function, string → path
'	list	function, elem → list
'	string	function, char → string
*	nat-mult	function, nat × nat → nat
+	buffer	function, buffer × buffer → buffer
+	path	function, path × string → path
+	path	function, path × path → path
+	path	function, string × path → path
+	array-splice	function, array × array → array
+	list	function, list × elem → list
+	list	function, list × list → list
+	list-data	function, elem × list → list
+	posix-links	function, string × pathset → pathset
+	nat-basic	function, nat × nat → nat
+	string	function, string × char → string
+	string	function, string × string → string
+	string	function, char × string → string
++	fidbag	function, fidbag × fid → fidbag
++	bag-basic	function, bag × elem → bag
++	stringset	function, stringset × string → stringset
++	path	function, path × string → path
++	fidset	function, fidset × fid → fidset
++	directory-tree-inst	function, stringset × string → stringset
++	dataset	function, dataset × data → dataset
++	open-file-handles	function, nat-set × nat → nat-set
++	file-data-store	function, fidset × fid → fidset
++	set-basic	function, set × elem → set
++	list-dup	function, list × elem → list
++	pathset	function, pathset × path → pathset
++	string	function, string × char → string
+1	nat-basic	function, nat → nat
+2	path	function, string × string → path
+2	list	function, elem × elem → list
+2	string	function, char × char → string
-	nat	partial function, nat × nat → nat
--	store	function, store × elem → store
--	fidbag	function, fidbag × fid → fidbag
--	bag-union	function, bag × elem → bag
--	stringset	function, stringset × string → stringset
--	fidset	function, fidset × fid → fidset
--	directory-tree	function, directory-tree × path → directory-tree
--	directory-tree-inst	function, stringset × string → stringset
--	directory-tree-base	function, entries-tree × string → entries-tree
--	dataset	function, dataset × data → dataset
--	open-file-handles	function, nat-set × nat → nat-set
--	open-file-handles	function, open-file-handles × nat → open-file-handles
--	file-data-store	function, fidset × fid → fidset
--	file-data-store	function, file-data-store × fid → file-data-store
--	set-union	function, set × elem → set
--	pathset	function, pathset × path → pathset
-1	nat-basic	partial function, nat → nat
-1l	path	function, path × string → path
-1l	list-del	function, list × elem → list
-1l	string	function, string × char → string
-l	path	function, path × string → path
-l	list-del	function, list × elem → list
-l	string	function, string × char → string
-p	path	function, path × nat → path
-p	list-del	function, list × nat → list
-p	string	function, string × nat → string
.butlast	list-last	partial function, list → list
.butlast	string	partial function, string → string
.char1	string	partial function, string → char
.content	file-data	function, file-data → buffer
.content:=	file-data	function, file-data × buffer → file-data
.dir?	directory-tree	predicate, directory-tree
.directory	inode	predicate, inode
.directory:=	inode	function, inode × bool → inode
.entries	directory-tree	function, directory-tree → entries-tree
.entries:=	directory-tree	function, directory-tree × entries-tree → directory-tree
.fid	directory-tree	function, directory-tree → fid
.fid	file-handle	function, file-handle → fid
.fid:=	directory-tree	function, directory-tree × fid → directory-tree
.fid:=	file-handle	function, file-handle × fid → file-handle
.fids	directory-tree-fids	function, entries-tree → fidbag
.fids	directory-tree-fids	function, directory-tree → fidbag
.fids	posix-base	function, open-file-handles → fidset
.head	path	partial function, path → string
.head	list-data	partial function, list → elem
.ino	inode	function, inode → nat
.ino:=	inode	function, inode × nat → inode
.last	path	partial function, path → string
.last	list-last	partial function, list → elem
.last	string	partial function, string → char
.meta	inode	function, inode → metadata
.meta	file-data	function, file-data → metadata
.meta	directory-tree	function, directory-tree → metadata
.meta:=	inode	function, inode × metadata → inode
.meta:=	file-data	function, file-data × metadata → file-data
.meta:=	directory-tree	function, directory-tree × metadata → directory-tree
.mode	file-handle	function, file-handle → file-mode
.mode:=	file-handle	function, file-handle × file-mode → file-handle
.nlink	inode	function, inode → nat
.nlink:=	inode	function, inode × nat → inode
.nsubdirs	inode	function, inode → nat
.nsubdirs:=	inode	function, inode × nat → inode
.pos	file-handle	function, file-handle → nat
.pos:=	file-handle	function, file-handle × nat → file-handle
.rstring	string	partial function, string → string
.size	inode	function, inode → nat
.size:=	inode	function, inode × nat → inode
.subdirs	directory-tree	function, directory-tree → stringset
.tail	path	partial function, path → path
.tail	list-data	partial function, list → list
/	nat-div	partial function, nat × nat → nat
<	path	predicate, path × path
<	list-data	predicate, list × list
<	nat-basic	predicate, nat × nat
>	nat	predicate, nat × nat
BUF	posix-asm	variable, buffer,flexible
Boolvar	directory-tree-inst	variable, bool,flexible
DIR	posix-asm	variable, directory-tree,flexible
DOSYNC	posix-asm	variable, bool,flexible
E	posix-asm	variable, error,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
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
EXISTS	posix-asm	variable, bool,flexible
FD	posix-asm	variable, nat,flexible
FDATA	posix-asm	variable, file-data,flexible
FH	posix-asm	variable, file-handle,flexible
FID	posix-asm	variable, fid,flexible
FS	posix-asm	variable, file-data-store,flexible
ISDATASYNC	posix-asm	variable, bool,flexible
LEB_SIZE	eraseblock	constant, nat
MD	posix-asm	variable, metadata,flexible
MODE	posix-asm	variable, file-mode,flexible
MODE_R	file-mode	constant, file-mode
MODE_RW	file-mode	constant, file-mode
MODE_W	file-mode	constant, file-mode
N	posix-asm	variable, nat,flexible
N0	posix-asm	variable, nat,flexible
NAMES	posix-asm	variable, stringset,flexible
NLINK	posix-asm	variable, nat,flexible
OFH	posix-asm	variable, open-file-handles,flexible
PAGES_PER_LEB	eraseblock	constant, nat
PAGES_PER_PEB	eraseblock	constant, nat
PATH	posix-asm	variable, path,flexible
PATH'	posix-asm	variable, path,flexible
PEB_SIZE	eraseblock	constant, nat
PSYNCED	posix-asm	variable, bool,flexible
Pentries-tree	directory-tree-inst	variable, entries-tree → bool
Ptree	directory-tree	variable, directory-tree → bool
ROOT	posix-asm	variable, directory-tree,flexible
SEEK_CUR	seekflag	constant, seekflag
SEEK_END	seekflag	constant, seekflag
SEEK_SET	seekflag	constant, seekflag
SIZE	posix-asm	variable, nat,flexible
TREE	posix-asm	variable, directory-tree,flexible
USER	posix-asm	variable, user,flexible
WHENCE	posix-asm	variable, seekflag,flexible
[]	list-data	constant, list
\	store+set	function, store × set → store
\	fidbag	function, fidbag × fidbag → fidbag
\	bag-union	function, bag × bag → bag
\	stringset	function, stringset × stringset → stringset
\	fidset	function, fidset × fidset → fidset
\	directory-tree-inst	function, entries-tree × stringset → entries-tree
\	directory-tree-inst	function, stringset × stringset → stringset
\	dataset	function, dataset × dataset → dataset
\	open-file-handles	function, open-file-handles × nat-set → open-file-handles
\	open-file-handles	function, nat-set × nat-set → nat-set
\	file-data-store	function, file-data-store × fidset → file-data-store
\	file-data-store	function, fidset × fidset → fidset
\	set-union	function, set × set → set
\	pathset	function, pathset × pathset → pathset
]	store	partial function, store × elem → data
]	store	function, store × elem × data → store
]	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
]	directory-tree	function, directory-tree × path × directory-tree → directory-tree
]	directory-tree	function, directory-tree × path → directory-tree
]	directory-tree-base	partial function, entries-tree × string → directory-tree
]	directory-tree-base	function, entries-tree × string × directory-tree → entries-tree
]	open-file-handles	partial function, open-file-handles × nat → file-handle
]	open-file-handles	function, open-file-handles × nat × file-handle → open-file-handles
]	file-data-store	partial function, file-data-store × fid → file-data
]	file-data-store	function, file-data-store × fid × file-data → file-data-store
]	array	partial function, array × nat × elem → array
]	array	partial function, array × nat → elem
]	list-del	partial function, list × nat × elem → list
]	list-del	partial function, list × nat → elem
]	string	partial function, string × nat × char → string
]	string	partial function, string × nat → char
a	elem	variable, elem
a0	list-data	variable, elem
align↑	align	function, nat × nat → nat
align↓	align	function, nat × nat → nat
ar	array	variable, array
ar0	array	variable, array
ar1	array	variable, array
ar2	array	variable, array
array	array	sort,
b	elem	variable, elem
bag	bag-basic	variable, bag
bag	bag-basic	sort,
bag0	bag-basic	variable, bag
bag1	bag-basic	variable, bag
bag2	bag-basic	variable, bag
boolvar	inode	variable, bool
boolvar	directory-tree-inst	variable, bool
boolvar0	inode	variable, bool
boolvar0	directory-tree-inst	variable, bool
boolvar1	directory-tree-inst	variable, bool
buf	buffer	variable, buffer
buf0	buffer	variable, buffer
buf1	buffer	variable, buffer
buf2	buffer	variable, buffer
buffer	buffer	sort,
butlastn	path	partial function, nat × path → path
butlastn	list-last	partial function, nat × list → 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
copy	buffer	partial function, buffer × nat × buffer × nat × nat → buffer
copy	array-copy	partial function, array × nat × array × nat × nat → array
count	fidbag	function, fid × fidbag → nat
count	bag-basic	function, elem × bag → nat
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,
dataset	dataset	sort,
datasyncp	posix-pre	variable, bool
directory-tree	directory-tree-base	sort,
disj	path	predicate, path × path
disj	list-dup	predicate, list × list
disj	string	predicate, string × string
dnode	directory-tree-base	function, metadata × entries-tree → directory-tree
dom	store+set	function, store → set
dom	directory-tree-inst	function, entries-tree → stringset
dom	open-file-handles	function, open-file-handles → nat-set
dom	file-data-store	function, file-data-store → fidset
ds	dataset	variable, dataset
ds0	dataset	variable, dataset
ds1	dataset	variable, dataset
ds2	dataset	variable, dataset
dups	path	predicate, path
dups	list-dup	predicate, list
dups	string	predicate, string
elem	elem	sort,
empty	buffer	constant, data
empty	array-splice	constant, elem
emptyleb	eraseblock	constant, buffer
emptypage	eraseblock	constant, buffer
emptypeb	eraseblock	constant, buffer
entries-tree	directory-tree-base	sort,
err	error	variable, error
err0	error	variable, error
err1	error	variable, error
error	error	sort,
f	file-data	variable, file-data
f0	file-data-store	variable, file-data
f1	file-data-store	variable, file-data
f2	file-data-store	variable, file-data
fail#	error-class	procedure, : : error
fail_or_success#	error-class	procedure, : : error
fd	open-file-handles	variable, nat
fd1	open-file-handles	variable, nat
fd2	open-file-handles	variable, nat
fh	file-handle	variable, file-handle
fh0	open-file-handles	variable, file-handle
fh1	open-file-handles	variable, file-handle
fh2	open-file-handles	variable, file-handle
fid	file-id	variable, fid
fid	file-id	sort,
fid0	fidbag	variable, fid
fid0	fidset	variable, fid
fid0	directory-tree-base	variable, fid
fid0	file-handle	variable, fid
fid1	fidbag	variable, fid
fid1	fidset	variable, fid
fid1	file-data-store	variable, fid
fid2	file-data-store	variable, fid
fidb	fidbag	variable, fidbag
fidb0	fidbag	variable, fidbag
fidb1	fidbag	variable, fidbag
fidb2	fidbag	variable, fidbag
fidbag	fidbag	sort,
fids	fidset	variable, fidset
fids	file-data-store	variable, fidset
fids-cons	posix-base	predicate, directory-tree × file-data-store × open-file-handles
fids0	fidset	variable, fidset
fids0	file-data-store	variable, fidset
fids1	fidset	variable, fidset
fids1	file-data-store	variable, fidset
fids2	fidset	variable, fidset
fids2	file-data-store	variable, fidset
fidset	fidset	sort,
fidset	file-data-store	sort,
file-data	file-data	sort,
file-data-store	file-data-store	sort,
file-handle	file-handle	sort,
file-mode	file-mode	sort,
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
fillfirst	path	function, nat × string × path → path
fillfirst	list-last	function, nat × elem × list → list
fillfirst	string	function, nat × char × string → string
firstn	path	partial function, nat × path → path
firstn	list-del	partial function, nat × list → list
firstn	string	partial function, nat × string → string
fnode	directory-tree-base	function, fid → directory-tree
frome	path	function, path × string → path
frome	list-del	function, list × elem → list
frome	string	function, string × char → string
fs	file-data-store	variable, file-data-store
fs0	file-data-store	variable, file-data-store
fs1	file-data-store	variable, file-data-store
fs2	file-data-store	variable, file-data-store
idrange	buffer	partial predicate, buffer × nat × nat
idrange	array-copy	partial predicate, array × nat × nat
id○	buffer	predicate, buffer × buffer × nat
id○	array-copy	predicate, array × array × nat
inode	inode	variable, inode
inode	inode	sort,
is-aligned	align	predicate, nat × nat
isempty	eraseblock	predicate, buffer × nat × nat
isempty	eraseblock	predicate, buffer
lastn	path	partial function, nat × path → path
lastn	list-del	partial function, nat × list → list
lastn	string	partial function, nat × string → string
links	posix-links	function, fid × directory-tree → pathset
list	list-data	sort,
m	nat-basic	variable, nat
m0	inode	variable, nat
m0	file-handle	variable, nat
m0	array-copy	variable, nat
m1	inode	variable, nat
m2	inode	variable, nat
m3	inode	variable, nat
m4	inode	variable, nat
m5	inode	variable, nat
m6	inode	variable, nat
max	open-file-handles-ext	function, open-file-handles → nat
max	min-max	function, nat × nat → nat
md	metadata	variable, metadata
md0	inode	variable, metadata
md0	file-data	variable, metadata
md0	directory-tree-base	variable, metadata
meta	permission-param	function, path × state → metadata
meta	posix-base	function, path × directory-tree × file-data-store → metadata
metadata	metadata	sort,
min	min-max	function, nat × nat → nat
mkarray	array	function, nat → array
mkbuf	buffer	function, nat → buffer
mkemparray	array-splice	function, nat → array
mkempbuf	buffer	function, nat → buffer
mkfh	file-handle	function, fid × file-mode × nat → file-handle
mkfile	file-data	function, metadata × buffer → file-data
mkinode	inode	function, nat × metadata × bool × nat × nat × nat → inode
mklist	list-last	function, elem × nat → list
mklist	string	function, char × nat → string
mkpath	path	function, string × nat → path
mkzarray	array-splice	function, nat → array
mkzbuf	buffer	function, nat → buffer
mode	file-mode	variable, file-mode
mode0	file-handle	variable, file-mode
n	nat-basic	variable, nat
n0	nat-basic	variable, nat
n1	nat-basic	variable, nat
nat	nat-basic	sort,
nat-set	open-file-handles	sort,
nats	open-file-handles	variable, nat-set
nats0	open-file-handles	variable, nat-set
nats1	open-file-handles	variable, nat-set
nats2	open-file-handles	variable, nat-set
ofh	open-file-handles	variable, open-file-handles
ofh0	open-file-handles	variable, open-file-handles
ofh1	open-file-handles	variable, open-file-handles
ofh2	open-file-handles	variable, open-file-handles
open-file-handles	open-file-handles	sort,
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,
path	posix-base	variable, path
path'	posix-base	variable, path
pathset	pathset	sort,
pos	path	function, string × path → nat
pos	list-del	function, elem × list → nat
pos	string	function, char × string → nat
posix-crash	posix-base	predicate, directory-tree × file-data-store × open-file-handles × directory-tree × file-data-store × open-file-handles
posix_close#	posix-asm	procedure, nat × user × directory-tree : error × file-data-store × open-file-handles
posix_create#	posix-asm	procedure, path × metadata × user × open-file-handles : error × directory-tree × file-data-store : bool
posix_format#	posix-asm	procedure, nat × bool × nat × metadata : : directory-tree × file-data-store × open-file-handles × bool × error
posix_fsync#	posix-asm	procedure, path × bool × user × directory-tree × file-data-store × open-file-handles : : bool × error
posix_fsyncdir#	posix-asm	procedure, path × bool × user : : bool × error
posix_link#	posix-asm	procedure, path × path × user × file-data-store × open-file-handles : error × directory-tree : bool
posix_mkdir#	posix-asm	procedure, path × metadata × user × file-data-store × open-file-handles : error × directory-tree : bool
posix_open#	posix-asm	procedure, path × file-mode × user × directory-tree × file-data-store : nat × error × open-file-handles
posix_read#	posix-asm	procedure, nat × user × directory-tree × file-data-store : buffer × nat × error × open-file-handles
posix_readdir#	posix-asm	procedure, path × user × directory-tree × file-data-store × open-file-handles : stringset × error
posix_readmeta#	posix-asm	procedure, path × user × directory-tree × file-data-store × open-file-handles : metadata × nat × nat × error
posix_recover#	posix-asm	procedure, bool : directory-tree × file-data-store × open-file-handles : bool × error
posix_rename#	posix-asm	procedure, path × path × user × open-file-handles : error × directory-tree × file-data-store : bool
posix_rmdir#	posix-asm	procedure, path × user × file-data-store × open-file-handles : error × directory-tree : bool
posix_seek#	posix-asm	procedure, nat × seekflag × user × directory-tree × file-data-store : nat × error × open-file-handles
posix_sync#	posix-asm	procedure, : : bool × error
posix_truncate#	posix-asm	procedure, path × nat × user × directory-tree × open-file-handles : error × file-data-store : bool
posix_unlink#	posix-asm	procedure, path × user × open-file-handles : error × directory-tree × file-data-store : bool
posix_write#	posix-asm	procedure, nat × buffer × user × directory-tree : nat × error × file-data-store × open-file-handles : bool
posix_writemeta#	posix-asm	procedure, path × metadata × user × open-file-handles : error × directory-tree × file-data-store : bool
pr	posix-permission	predicate, user × path × directory-tree × file-data-store
pr	path-permission	predicate, user × path × state
pr	permission	predicate, user × metadata
pre-close	posix-pre	predicate, nat × error × user × directory-tree × file-data-store × open-file-handles
pre-create	posix-pre	predicate, path × metadata × error × user × directory-tree × file-data-store × open-file-handles
pre-fsync	posix-pre	predicate, path × bool × error × user × directory-tree × file-data-store × open-file-handles
pre-link	posix-pre	predicate, path × path × error × user × directory-tree × file-data-store × open-file-handles
pre-mkdir	posix-pre	predicate, path × metadata × error × user × directory-tree × file-data-store × open-file-handles
pre-open	posix-pre	predicate, path × file-mode × error × user × directory-tree × file-data-store × open-file-handles
pre-read	posix-pre	predicate, nat × nat × error × user × directory-tree × file-data-store × open-file-handles
pre-readdir	posix-pre	predicate, path × error × user × directory-tree × file-data-store × open-file-handles
pre-readmeta	posix-pre	predicate, path × error × user × directory-tree × file-data-store × open-file-handles
pre-renam	posix-pre	predicate, path × path × error × user × directory-tree × file-data-store × open-file-handles
pre-rmdir	posix-pre	predicate, path × error × user × directory-tree × file-data-store × open-file-handles
pre-seek	posix-pre	predicate, nat × nat × seekflag × error × user × directory-tree × file-data-store × open-file-handles
pre-truncate	posix-pre	predicate, path × nat × error × user × directory-tree × file-data-store × open-file-handles
pre-unlink	posix-pre	predicate, path × error × user × directory-tree × file-data-store × open-file-handles
pre-write	posix-pre	predicate, nat × buffer × nat × error × user × directory-tree × file-data-store × open-file-handles
pre-writemeta	posix-pre	predicate, path × metadata × error × user × directory-tree × file-data-store × open-file-handles
ps	pathset	variable, pathset
ps0	pathset	variable, pathset
ps1	pathset	variable, pathset
ps2	pathset	variable, pathset
psynced	posix-asm	variable, bool
pw	posix-permission	predicate, user × path × directory-tree × file-data-store
pw	path-permission	predicate, user × path × state
pw	permission	predicate, user × metadata
px	posix-permission	predicate, user × path × directory-tree × file-data-store
px	path-permission	predicate, user × path × state
px	permission	predicate, user × metadata
px-parent	posix-permission	predicate, user × path × directory-tree × file-data-store
px-parent	path-permission	predicate, user × path × state
py	posix-permission	predicate, user × path × directory-tree × file-data-store
py	path-permission	predicate, user × path × state
q	path	variable, path
range=	buffer	predicate, buffer × nat × buffer × nat × nat
range=	array-splice	predicate, array × nat × array × nat × nat
resize	buffer	function, buffer × nat → buffer
resize	array-splice	function, array × nat → array
restn	path	partial function, nat × path → path
restn	list-del	partial function, nat × list → list
restn	string	partial function, nat × string → string
rev	buffer	partial function, buffer × nat → buffer
rev	buffer	function, buffer → buffer
rev	path	function, path → path
rev	array-copy	partial function, array × nat → array
rev	array-copy	function, array → array
rev	list-last	function, list → list
rev	string	function, string → string
rmdup	path	function, path → path
rmdup	list-dup	function, list → list
rmdup	string	function, string → string
root	posix-base	variable, directory-tree
s	set-basic	variable, set
s0	set-basic	variable, set
s1	set-basic	variable, set
s2	set-basic	variable, set
sdt	directory-tree-base	variable, entries-tree
sdt0	directory-tree-base	variable, entries-tree
sdt1	directory-tree-base	variable, entries-tree
sdt2	directory-tree-base	variable, entries-tree
seekflag	seekflag	sort,
set	set-basic	sort,
splice	buffer	function, buffer × nat × buffer × nat × nat → buffer
splice	array-splice	function, array × nat × array × nat × nat → array
st	store	variable, store
st	permission-param	variable, state
st0	store	variable, store
st1	store	variable, store
st2	store	variable, store
state	permission-param	sort,
store	store	sort,
str	string	variable, string
str-tree	directory-tree-base	variable, stringdirectorytree
str0	string	variable, string
str1	string	variable, string
str2	string	variable, string
str3	string	variable, string
string	string	sort,
stringdirectorytree	directory-tree-base	sort,
strings	stringset	variable, stringset
strings	directory-tree-inst	variable, stringset
strings0	stringset	variable, stringset
strings0	directory-tree-inst	variable, stringset
strings1	stringset	variable, stringset
strings1	directory-tree-inst	variable, stringset
strings2	stringset	variable, stringset
strings2	directory-tree-inst	variable, stringset
stringset	stringset	sort,
stringset	directory-tree-inst	sort,
subarray	buffer	partial function, buffer × nat × nat → buffer
subarray	array-copy	partial function, array × nat × nat → array
sublist	path	partial function, nat × nat × path → path
sublist	list-del	partial function, nat × nat × list → list
sublist	string	partial function, nat × nat × string → string
tree	directory-tree-base	variable, directory-tree
tree0	directory-tree-base	variable, directory-tree
tree1	directory-tree-base	variable, directory-tree
tree2	directory-tree-base	variable, directory-tree
user	user	variable, user
user	user	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	array-splice	constant, elem
\|	store+set	function, store × set → store
\|	directory-tree-inst	function, entries-tree × stringset → entries-tree
\|	open-file-handles	function, open-file-handles × nat-set → open-file-handles
\|	file-data-store	function, file-data-store × fidset → file-data-store
}	fidbag	function, fid → fidbag
}	bag-union	function, elem → bag
}	stringset	function, string → stringset
}	fidset	function, fid → fidset
}	directory-tree-inst	function, string → stringset
}	dataset	function, data → dataset
}	open-file-handles	function, nat → nat-set
}	file-data-store	function, fid → fidset
}	set-union	function, elem → set
}	pathset	function, path → pathset
×	directory-tree-base	function, string × directory-tree → stringdirectorytree
ε	path	constant, path
∅	store	constant, store
∅	fidbag	constant, fidbag
∅	bag-basic	constant, bag
∅	stringset	constant, stringset
∅	fidset	constant, fidset
∅	directory-tree-inst	constant, stringset
∅	directory-tree-base	constant, entries-tree
∅	dataset	constant, dataset
∅	open-file-handles	constant, nat-set
∅	open-file-handles	constant, open-file-handles
∅	file-data-store	constant, fidset
∅	file-data-store	constant, file-data-store
∅	set-basic	constant, set
∅	pathset	constant, pathset
∈	store+set	predicate, data × store
∈	store	predicate, elem × store
∈	fidbag	predicate, fid × fidbag
∈	bag-union	predicate, elem × bag
∈	buffer	predicate, data × buffer
∈	stringset	predicate, string × stringset
∈	path	predicate, string × path
∈	fidset	predicate, fid × fidset
∈	directory-tree	predicate, path × directory-tree
∈	directory-tree-inst	predicate, directory-tree × entries-tree
∈	directory-tree-inst	predicate, string × stringset
∈	directory-tree-base	predicate, stringdirectorytree × entries-tree
∈	directory-tree-base	predicate, string × entries-tree
∈	dataset	predicate, data × dataset
∈	open-file-handles	predicate, file-handle × open-file-handles
∈	open-file-handles	predicate, nat × nat-set
∈	open-file-handles	predicate, nat × open-file-handles
∈	file-data-store	predicate, file-data × file-data-store
∈	file-data-store	predicate, fid × fidset
∈	file-data-store	predicate, fid × file-data-store
∈	array-copy	predicate, elem × array
∈	set-basic	predicate, elem × set
∈	list	predicate, elem × list
∈	pathset	predicate, path × pathset
∈	string	predicate, char × string
∩	stringset	function, stringset × stringset → stringset
∩	fidset	function, fidset × fidset → fidset
∩	directory-tree-inst	function, stringset × stringset → stringset
∩	dataset	function, dataset × dataset → dataset
∩	open-file-handles	function, nat-set × nat-set → nat-set
∩	file-data-store	function, fidset × fidset → fidset
∩	set-union	function, set × set → set
∩	pathset	function, pathset × pathset → pathset
∪	fidbag	function, fidbag × fidbag → fidbag
∪	bag-union	function, bag × bag → bag
∪	stringset	function, stringset × stringset → stringset
∪	fidset	function, fidset × fidset → fidset
∪	directory-tree-inst	function, stringset × stringset → stringset
∪	dataset	function, dataset × dataset → dataset
∪	open-file-handles	function, nat-set × nat-set → nat-set
∪	file-data-store	function, fidset × fidset → fidset
∪	set-union	function, set × set → set
∪	pathset	function, pathset × pathset → pathset
≤	nat	predicate, nat × nat
≥	nat	predicate, nat × nat
⊆	store	predicate, store × store
⊆	fidbag	predicate, fidbag × fidbag
⊆	bag-union	predicate, bag × bag
⊆	stringset	predicate, stringset × stringset
⊆	fidset	predicate, fidset × fidset
⊆	directory-tree-inst	predicate, stringset × stringset
⊆	directory-tree-base	predicate, entries-tree × entries-tree
⊆	dataset	predicate, dataset × dataset
⊆	open-file-handles	predicate, nat-set × nat-set
⊆	open-file-handles	predicate, open-file-handles × open-file-handles
⊆	file-data-store	predicate, fidset × fidset
⊆	file-data-store	predicate, file-data-store × file-data-store
⊆	set-basic	predicate, set × set
⊆	pathset	predicate, pathset × pathset
⊏	string	predicate, string × string
⊑	path	predicate, path × path
⊑	list-last	predicate, list × list
⊑	string	predicate, string × string
⊒	path	predicate, path × path
⊒	list-last	predicate, list × list
⊒	string	predicate, string × string
⊕	store+set	function, store × store → store
⊕	directory-tree-inst	function, entries-tree × entries-tree → entries-tree
⊕	open-file-handles	function, open-file-handles × open-file-handles → open-file-handles
⊕	file-data-store	function, file-data-store × file-data-store → file-data-store
⌋	error-class	predicate, error