[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
#	stringlist	function, stringlist → nat
#	bytelist	function, bytelist → nat
#	charlist	function, charset → nat
#	charlist	function, charlist → nat
#	string-less	function, string → nat
#	assoclista	function, assoclist → nat
#	natlista	function, natset → nat
#	natlista	function, natlist → nat
#	intlista	function, intlist → nat
#	bitlista	function, bitlist → nat
#	set-basic	function, set → nat
#	list-data	function, list → nat
#oc	stringlist	function, string × stringlist → nat
#oc	bytelist	function, byte × bytelist → nat
#oc	charlist	function, char × charlist → nat
#oc	assoclista	function, pair × assoclist → nat
#oc	natlista	function, nat × natlist → nat
#oc	intlista	function, int × intlist → nat
#oc	bitlista	function, bool × bitlist → nat
#oc	list-perm	function, elem × list → nat
%	int-div	function, int × int → int
%	nat-div	function, nat × nat → nat
'	stringlist	function, string → stringlist
'	bytelist	function, byte → bytelist
'	charlist	function, char → charlist
'	assoclista	function, pair → assoclist
'	natlista	function, nat → natlist
'	intlista	function, int → intlist
'	bitlista	function, bool → bitlist
'	string-append	function, char → string
'	list	function, elem → list
*	rational	function, rationals × rationals → rationals
*	int-mult	function, int × int → int
*	nat-mult	function, nat × nat → nat
*	decimal-simple-ops	function, decimal × decimal → decimal
+	stringlist	function, stringlist × string → stringlist
+	stringlist	function, stringlist × stringlist → stringlist
+	stringlist	function, string × stringlist → stringlist
+	bytelist	function, byte × byte → bytelist
+	bytelist	function, bytelist × byte → bytelist
+	bytelist	function, bytelist × bytelist → bytelist
+	bytelist	function, byte × bytelist → bytelist
+	rational	function, rationals × rationals → rationals
+	charlist	function, char × char → charlist
+	charlist	function, charlist × char → charlist
+	charlist	function, charlist × charlist → charlist
+	charlist	function, char × charlist → charlist
+	assoclista	function, pair × pair → assoclist
+	assoclista	function, assoclist × pair → assoclist
+	assoclista	function, assoclist × assoclist → assoclist
+	assoclista	function, pair × assoclist → assoclist
+	natlista	function, natlist × nat → natlist
+	natlista	function, natlist × natlist → natlist
+	natlista	function, nat × natlist → natlist
+	intlista	function, intlist × int → intlist
+	intlista	function, intlist × intlist → intlist
+	intlista	function, int × intlist → intlist
+	bitlista	function, bool × bool → bitlist
+	bitlista	function, bitlist × bool → bitlist
+	bitlista	function, bitlist × bitlist → bitlist
+	bitlista	function, bool × bitlist → bitlist
+	string-append	function, string × string → string
+	string-data	function, char × string → string
+	list	function, elem × elem → list
+	list	function, list × elem → list
+	list	function, list × list → list
+	list-data	function, elem × list → list
+	int-basic2	function, int × int → int
+	nat-basic2	function, nat × nat → nat
+	decimal-simple-ops	function, decimal × decimal → decimal
++	stringlist	function, stringlist × string → stringlist
++	bytelist	function, bytelist × byte → bytelist
++	set-nogen-basic	function, setnogen × elem → setnogen
++	charlist	function, charset × char → charset
++	charlist	function, charlist × char → charlist
++	assoclista	function, assoclist × pair → assoclist
++	natlista	function, natset × nat → natset
++	natlista	function, natlist × nat → natlist
++	intlista	function, intlist × int → intlist
++	bitlista	function, bitlist × bool → bitlist
++	set-basic	function, set × elem → set
++	list-dup	function, list × elem → list
+1	bitopsaux	function, bitlist → bitlist
+1	int-basic1	function, int → int
+1	nat-basic1	function, nat → nat
+l	stringlist	function, string × string → stringlist
+l	natlista	function, nat × nat → natlist
+l	intlista	function, int × int → intlist
-	rational	function, rationals × rationals → rationals
-	int-abs	function, int × int → int
-	nat	function, nat × nat → nat
-	decimal-simple-ops	function, decimal × decimal → decimal
--	set-nogen-union	function, setnogen × elem → setnogen
--	charlist	function, charset × char → charset
--	natlista	function, natset × nat → natset
--	set-union	function, set × elem → set
-1	int-basic1	function, int → int
-1	nat-basic1	function, nat → nat
-1l	stringlist	function, stringlist × nat → stringlist
-1l	stringlist	function, stringlist × string → stringlist
-1l	bytelist	function, bytelist × nat → bytelist
-1l	bytelist	function, bytelist × byte → bytelist
-1l	charlist	function, charlist × nat → charlist
-1l	assoclista	function, assoclist × nat → assoclist
-1l	assoclista	function, assoclist × pair → assoclist
-1l	natlista	function, natlist × nat → natlist
-1l	intlista	function, intlist × nat → intlist
-1l	intlista	function, intlist × int → intlist
-1l	bitlista	function, bitlist × nat → bitlist
-1l	bitlista	function, bitlist × bool → bitlist
-1l	list-del	function, list × nat → list
-1l	list-del	function, list × elem → list
-l	stringlist	function, stringlist × string → stringlist
-l	bytelist	function, bytelist × byte → bytelist
-l	charlist	function, charlist × char → charlist
-l	assoclista	function, assoclist × pair → assoclist
-l	natlista	function, natlist × nat → natlist
-l	intlista	function, intlist × int → intlist
-l	bitlista	function, bitlist × bool → bitlist
-l	list-del	function, list × elem → list
-pos	charlist	function, charlist × char → charlist
-pos	natlista	function, natlist × nat → natlist
.1	pair	function, pair → elem
.2	pair	function, pair → data
.butlast	stringlist	function, stringlist → stringlist
.butlast	bytelist	function, bytelist → bytelist
.butlast	string-ops	function, string → string
.butlast	charlist	function, charlist → charlist
.butlast	assoclista	function, assoclist → assoclist
.butlast	natlista	function, natlist → natlist
.butlast	intlista	function, intlist → intlist
.butlast	bitlista	function, bitlist → bitlist
.butlast	list-last	function, list → list
.butmax	charlist	function, charset → charset
.butmax	natlista	function, natset → natset
.butmax	oset	function, set → set
.butmin	charlist	function, charset → charset
.butmin	natlista	function, natset → natset
.butmin	oset	function, set → set
.char1	string-data	function, string → char
.denom	rational	function, rationals → int
.first	stringlist	function, stringlist → string
.first	bytelist	function, bytelist → byte
.first	charlist	function, charlist → char
.first	assoclista	function, assoclist → pair
.first	natlista	function, natlist → nat
.first	intlista	function, intlist → int
.first	bitlista	predicate, bitlist
.first	list-data	function, list → elem
.int	decimal	function, decimal → int
.last	stringlist	function, stringlist → string
.last	bytelist	function, bytelist → byte
.last	string-ops	function, string → char
.last	charlist	function, charlist → char
.last	assoclista	function, assoclist → pair
.last	natlista	function, natlist → nat
.last	intlista	function, intlist → int
.last	bitlista	predicate, bitlist
.last	list-last	function, list → elem
.max	charlist	function, charset → char
.max	natlista	function, natset → nat
.max	oset	function, set → elem
.min	charlist	function, charset → char
.min	natlista	function, natset → nat
.min	oset	function, set → elem
.num	rational	function, rationals → int
.rest	stringlist	function, stringlist → stringlist
.rest	bytelist	function, bytelist → bytelist
.rest	charlist	function, charlist → charlist
.rest	assoclista	function, assoclist → assoclist
.rest	natlista	function, natlist → natlist
.rest	intlista	function, intlist → intlist
.rest	bitlista	function, bitlist → bitlist
.rest	list-data	function, list → list
.rstring	string-data	function, string → string
.scale	decimal	function, decimal → int
/	rational	function, rationals × rationals → rationals
/	int-div	function, int × int → int
/	nat-div	function, nat × nat → nat
/	decimal-complex-ops	function, decimal × decimal → decimal
0_dec	decimal-simple-ops	constant, decimal
0b	byte	constant, byte
0bi	byte	constant, bint
0l	byte	constant, long
0r	rational	constant, rationals
0s	byte	constant, short
1_dec	decimal-simple-ops	constant, decimal
1r	rational	constant, rationals
2^	nat-pot	function, nat → nat
<	stringlist	predicate, stringlist × stringlist
<	bytelist	predicate, bytelist × bytelist
<	rational	predicate, rationals × rationals
<	charlist	predicate, charset × char
<	charlist	predicate, char × charset
<	charlist	predicate, charlist × charlist
<	string-less	predicate, char × char
<	string-less	predicate, string × string
<	assoclista	predicate, assoclist × assoclist
<	natlista	predicate, natset × nat
<	natlista	predicate, nat × natset
<	natlista	predicate, natlist × natlist
<	intlista	predicate, intlist × intlist
<	bitlista	predicate, bitlist × bitlist
<	oset	predicate, set × elem
<	oset	predicate, elem × set
<	list-data	predicate, list × list
<	int-basic1	predicate, int × int
<	oelem	predicate, elem × elem
<	nat-basic1	predicate, nat × nat
<	decimal-simple-ops	predicate, decimal × decimal
<<	intops	function, int × int → int
>	rational	predicate, rationals × rationals
>	int-abs	predicate, int × int
>	nat	predicate, nat × nat
>	decimal-simple-ops	predicate, decimal × decimal
>>	intops	function, int × int → int
>>>	intops	function, nat × int × int → int
[]	stringlist	constant, stringlist
[]	bytelist	constant, bytelist
[]	charlist	constant, charlist
[]	assoclista	constant, assoclist
[]	natlista	constant, natlist
[]	intlista	constant, intlist
[]	bitlista	constant, bitlist
[]	list-data	constant, list
\	stringlist	function, stringlist × stringlist → stringlist
\	bytelist	function, bytelist × bytelist → bytelist
\	set-nogen-union	function, setnogen × setnogen → setnogen
\	charlist	function, charset × charset → charset
\	charlist	function, charlist × charlist → charlist
\	assoclista	function, assoclist × assoclist → assoclist
\	natlista	function, natset × natset → natset
\	natlista	function, natlist × natlist → natlist
\	intlista	function, intlist × intlist → intlist
\	bitlista	function, bitlist × bitlist → bitlist
\	set-union	function, set × set → set
\	list-set	function, list × list → list
]	stringlist	function, stringlist × nat × string → stringlist
]	stringlist	function, stringlist × nat → string
]	bytelist	function, bytelist × nat × byte → bytelist
]	bytelist	function, bytelist × nat → byte
]	charlist	function, charlist × nat × char → charlist
]	charlist	function, charlist × nat → char
]	store-nogen	function, storenogen × elem → data
]	store-nogen	function, storenogen × elem × data → storenogen
]	assoclist	function, assoclist × elem × data → assoclist
]	assoclist	function, assoclist × data → elem
]	assoclist	function, assoclist × elem → data
]	assoclista	function, assoclist × nat × pair → assoclist
]	assoclista	function, assoclist × nat → pair
]	natlista	function, natlist × nat × nat → natlist
]	natlista	function, natlist × nat → nat
]	intlista	function, intlist × nat × int → intlist
]	intlista	function, intlist × nat → int
]	bitlista	predicate, bitlist × nat
]	bitlista	function, bitlist × nat × bool → bitlist
]	list-del	function, list × nat × elem → list
]	list-del	function, list × nat → elem
^	int-pot	function, int × int → int
^	nat-pot	function, nat × nat → nat
^2	int-square	function, int → int
a	elem	variable, elem
a0	store-nogen	variable, elem
a0	pair	variable, elem
a0	list-data	variable, elem
abs	rational	function, rationals → rationals
abs	int-abs	function, int → int
abs	decimal-simple-ops	function, decimal → decimal
all_prime_divisors	intlist	function, int → intlist
assoclist	assoclista	sort,
ax	assoclista	variable, assoclist
ax0	assoclista	variable, assoclist
ax1	assoclista	variable, assoclist
ax2	assoclista	variable, assoclist
ay	assoclista	variable, assoclist
ay0	assoclista	variable, assoclist
ay1	assoclista	variable, assoclist
ay2	assoclista	variable, assoclist
az	assoclista	variable, assoclist
az0	assoclista	variable, assoclist
az1	assoclista	variable, assoclist
az2	assoclista	variable, assoclist
b	elem	variable, elem
b2bi	byte	function, byte → bint
b2i	byte	function, byte → int
b2s	byte	function, byte → short
band	intops	function, int × int → int
bcompl	intops	function, int → int
bi	byte	variable, bint
bi2b	byte	function, bint → byte
bi2i	byte	function, bint → int
bi2s	byte	function, bint → short
binom_coef	int-fac	function, int × int → int
binom_list	int-fac	function, int × int × int → intlist
binom_list	int-fac	function, int × int × int × int → intlist
bint	byte	sort,
bitlist	bitlista	sort,
bits	bitlista	variable, bitlist
bits0	bitlista	variable, bitlist
bits1	bitlista	variable, bitlist
bits10	bitlista	variable, bitlist
bits2	bitlista	variable, bitlist
bits2bytes	bytes	function, bitlist → bytelist
bits2int	int2bits	function, bitlist → int
bits2uint	int2bits	function, bitlist → int
bits3	bitlista	variable, bitlist
bits4	bitlista	variable, bitlist
bits5	bitlista	variable, bitlist
bits6	bitlista	variable, bitlist
bits7	bitlista	variable, bitlist
bits8	bitlista	variable, bitlist
bits9	bitlista	variable, bitlist
bitsand	intops	function, bitlist × bitlist → bitlist
bitsinvert	bitopsaux	function, bitlist → bitlist
bitsor	intops	function, bitlist × bitlist → bitlist
bitsxor	intops	function, bitlist × bitlist → bitlist
bj	byte	variable, bint
bool	bool	sort,
boolvar	bool	variable, bool
boolvar0	bool	variable, bool
boolvar1	bitlista	variable, bool
boolvar2	bitlista	variable, bool
bor	intops	function, int × int → int
butlastn	stringlist	function, nat × stringlist → stringlist
butlastn	bytelist	function, nat × bytelist → bytelist
butlastn	charlist	function, nat × charlist → charlist
butlastn	assoclista	function, nat × assoclist → assoclist
butlastn	natlista	function, nat × natlist → natlist
butlastn	intlista	function, nat × intlist → intlist
butlastn	bitlista	function, nat × bitlist → bitlist
butlastn	list-last	function, nat × list → list
bxor	intops	function, int × int → int
by	byte	variable, byte
by0	bytelist	variable, byte
by1	bytelist	variable, byte
by2	bytelist	variable, byte
byi	byte	variable, byte
byj	byte	variable, byte
byte	byte	sort,
byte2bits	bytes	function, byte → bitlist
bytelist	bytelist	sort,
bytes	bytelist	variable, bytelist
bytes0	bytelist	variable, bytelist
bytes1	bytelist	variable, bytelist
bytes10	bytelist	variable, bytelist
bytes2	bytelist	variable, bytelist
bytes2bits	bytes	function, bytelist → bitlist
bytes2int	bytes	function, bytelist → int
bytes3	bytelist	variable, bytelist
bytes4	bytelist	variable, bytelist
bytes5	bytelist	variable, bytelist
bytes6	bytelist	variable, bytelist
bytes7	bytelist	variable, bytelist
bytes8	bytelist	variable, bytelist
bytes9	bytelist	variable, bytelist
c	elem	variable, elem
cast	intops	function, int × int → int
char	char	variable, char
char	char	sort,
char0	char	variable, char
char1	char	variable, char
char2	char	variable, char
char3	string-less	variable, char
charlist	charlist	sort,
chars	charlist	variable, charlist
chars0	charlist	variable, charlist
chars1	charlist	variable, charlist
chars10	charlist	variable, charlist
chars2	charlist	variable, charlist
chars3	charlist	variable, charlist
chars4	charlist	variable, charlist
chars5	charlist	variable, charlist
chars6	charlist	variable, charlist
chars7	charlist	variable, charlist
chars8	charlist	variable, charlist
chars9	charlist	variable, charlist
charset	charlist	variable, charset
charset	charlist	sort,
charset0	charlist	variable, charset
charset1	charlist	variable, charset
charset2	charlist	variable, charset
coprimes	intlist	function, int → intlist
count-i2j	intlist	function, int × int → intlist
countFun	intlist	function, int × int × int → int → intlist
d	data	variable, data
d0	data	variable, data
d1	data	variable, data
d2	data	variable, data
data	data	sort,
dec	decimal	variable, decimal
dec0	decimal	variable, decimal
dec1	decimal	variable, decimal
dec2	decimal	variable, decimal
dec2int	decimal	function, decimal → int
dec_i	decimal	variable, decimal
dec_i0	decimal	variable, decimal
dec_j	decimal	variable, decimal
dec_j0	decimal	variable, decimal
decimal	decimal	sort,
disj	stringlist	predicate, stringlist × stringlist
disj	bytelist	predicate, bytelist × bytelist
disj	charlist	predicate, charlist × charlist
disj	assoclista	predicate, assoclist × assoclist
disj	natlista	predicate, natlist × natlist
disj	intlista	predicate, intlist × intlist
disj	bitlista	predicate, bitlist × bitlist
disj	list-dup	predicate, list × list
div	decimal-complex-ops	function, decimal × decimal × int → decimal
downcase	string-ops	function, charlist → charlist
downcase	string-ops	function, string → string
downcase	string-ops	function, char → char
downcaseFirst	string-ops	function, string → string
dups	stringlist	predicate, stringlist
dups	bytelist	predicate, bytelist
dups	charlist	predicate, charlist
dups	assoclista	predicate, assoclist
dups	natlista	predicate, natlist
dups	intlista	predicate, intlist
dups	bitlista	predicate, bitlist
dups	list-dup	predicate, list
elem	elem	sort,
elemdata	store-nogen	sort,
elemdatavar	store-nogen	variable, elemdata
euler-phi	intlist	function, int → int
even	int-min	predicate, int
fac	int-fac	function, int → int
fillfirst	stringlist	function, nat × string × stringlist → stringlist
fillfirst	bytelist	function, nat × byte × bytelist → bytelist
fillfirst	charlist	function, nat × char × charlist → charlist
fillfirst	assoclista	function, nat × pair × assoclist → assoclist
fillfirst	natlista	function, nat × nat × natlist → natlist
fillfirst	intlista	function, nat × int × intlist → intlist
fillfirst	bitlista	function, nat × bool × bitlist → bitlist
fillfirst	list-last	function, nat × elem × list → list
fillsgn	bytes	function, nat × bytelist → bytelist
fillsgn	bitopsaux	function, nat × bitlist → bitlist
filter	stringlist	function, stringlist × stringlist → stringlist
filter	bytelist	function, bytelist × bytelist → bytelist
filter	charlist	function, charlist × charlist → charlist
filter	assoclista	function, assoclist × assoclist → assoclist
filter	natlista	function, natlist × natlist → natlist
filter	intlista	function, intlist × intlist → intlist
filter	bitlista	function, bitlist × bitlist → bitlist
filter	list-set	function, list × list → list
filterFun	intlist	function, int → bool × intlist → intlist
firstn	stringlist	function, nat × stringlist → stringlist
firstn	bytelist	function, nat × bytelist → bytelist
firstn	charlist	function, nat × charlist → charlist
firstn	assoclista	function, nat × assoclist → assoclist
firstn	natlista	function, nat × natlist → natlist
firstn	intlista	function, nat × intlist → intlist
firstn	bitlista	function, nat × bitlist → bitlist
firstn	list-del	function, nat × list → list
fix	bytes	function, nat × bytelist → bytelist
fix	bitopsaux	function, nat × bitlist → bitlist
frome	stringlist	function, stringlist × string → stringlist
frome	bytelist	function, bytelist × byte → bytelist
frome	charlist	function, charlist × char → charlist
frome	assoclista	function, assoclist × pair → assoclist
frome	natlista	function, natlist × nat → natlist
frome	intlista	function, intlist × int → intlist
frome	bitlista	function, bitlist × bool → bitlist
frome	list-del	function, list × elem → list
gcd	int-gcd	function, int × int → int
hex	hexstring	function, string → int
hexbyte	hexstring	function, string → byte
hexchar	hexstring	function, char → int
hexint	hexstring	function, intlist → int
hexstring	hexstring	function, string → intlist
i	int-basic1	variable, int
i0	int-basic1	variable, int
i1	intlista	variable, int
i2	intlista	variable, int
i2b	byte	function, int → byte
i2bi	byte	function, int → bint
i2l	byte	function, int → long
i2s	byte	function, int → short
i<<	intops	function, int × int → int
i>>	intops	function, int × int → int
i>>>	intops	function, int × int → int
inc	decimal	function, decimal → decimal
ins≤	stringlist	function, string × stringlist → stringlist
ins≤	charlist	function, char × charlist → charlist
ins≤	natlista	function, nat × natlist → natlist
ins≤	intlista	function, int × intlist → intlist
ins≤	olist	function, elem × list → list
int	int-basic1	sort,
int2bits	int2bits	function, int → bitlist
int2bytes	bytes	function, int → bytelist
intboolfun	intlist	variable, int → bool
intfun	intlist	variable, int → int
intlist	intlista	sort,
ints	intlista	variable, intlist
ints0	intlista	variable, intlist
ints1	intlista	variable, intlist
ints10	intlista	variable, intlist
ints2	intlista	variable, intlist
ints3	intlista	variable, intlist
ints4	intlista	variable, intlist
ints5	intlista	variable, intlist
ints6	intlista	variable, intlist
ints7	intlista	variable, intlist
ints8	intlista	variable, intlist
ints9	intlista	variable, intlist
isSquare	int-square	predicate, int
isSquare	decimal-complex-ops	predicate, decimal
i→n	intnat	function, int → nat
j	int-basic1	variable, int
j0	int-basic1	variable, int
l2i	byte	function, long → int
l<<	intops	function, int × int → int
l>>	intops	function, int × int → int
l>>>	intops	function, int × int → int
lastn	stringlist	function, nat × stringlist → stringlist
lastn	bytelist	function, nat × bytelist → bytelist
lastn	charlist	function, nat × charlist → charlist
lastn	assoclista	function, nat × assoclist → assoclist
lastn	natlista	function, nat × natlist → natlist
lastn	intlista	function, nat × intlist → intlist
lastn	bitlista	function, nat × bitlist → bitlist
lastn	list-del	function, nat × list → list
list	list-data	sort,
list2set	charlist	function, charlist → charset
list2set	setlist	function, list → set
list2set	natlista	function, natlist → natset
lo	byte	variable, long
log	nat-pot	function, nat × nat → nat
log2	nat-pot	function, nat → nat
loi	byte	variable, long
loj	byte	variable, long
long	byte	sort,
l→s	string2list	function, charlist → string
m	nat-basic1	variable, nat
m0	natlista	variable, nat
m1	natlista	variable, nat
m2	natlista	variable, nat
m3	natlista	variable, nat
mapFun	intlist	function, int → int × intlist → intlist
max	intlist	function, intlist → int
max	int-min	function, int × int → int
maxScale	decimal	function, int → int
max_exp	int-fac	function, int × int → int
max_prime_divisor	int-gcd	function, int → int
merge	stringlist	function, stringlist × stringlist → stringlist
merge	charlist	function, charlist × charlist → charlist
merge	natlista	function, natlist × natlist → natlist
merge	intlista	function, intlist × intlist → intlist
merge	olist	function, list × list → list
min	intlist	function, intlist → int
min	int-min	function, int × int → int
mkDecimal	decimal	function, int × int → decimal
mklist	stringlist	function, string × nat → stringlist
mklist	bytelist	function, byte × nat → bytelist
mklist	charlist	function, char × nat → charlist
mklist	assoclista	function, pair × nat → assoclist
mklist	natlista	function, nat × nat → natlist
mklist	intlista	function, int × nat → intlist
mklist	bitlista	function, bool × nat → bitlist
mklist	list-last	function, elem × nat → list
n	nat-basic1	variable, nat
n0	nat-basic1	variable, nat
n1	nat-basic1	variable, nat
nat	nat-basic1	sort,
natlist	natlista	sort,
nats	natlista	variable, natlist
nats0	natlista	variable, natlist
nats1	natlista	variable, natlist
nats10	natlista	variable, natlist
nats2	natlista	variable, natlist
nats3	natlista	variable, natlist
nats4	natlista	variable, natlist
nats5	natlista	variable, natlist
nats6	natlista	variable, natlist
nats7	natlista	variable, natlist
nats8	natlista	variable, natlist
nats9	natlista	variable, natlist
natset	natlista	variable, natset
natset	natlista	sort,
natset0	natlista	variable, natset
natset1	natlista	variable, natset
natset2	natlista	variable, natset
n→i	intnat	function, nat → int
n→s	string2nat	function, nat → string
odd	int-min	predicate, int
ordered<	stringlist	predicate, stringlist
ordered<	charlist	predicate, charlist
ordered<	natlista	predicate, natlist
ordered<	intlista	predicate, intlist
ordered<	olist	predicate, list
ordered≤	stringlist	predicate, stringlist
ordered≤	charlist	predicate, charlist
ordered≤	natlista	predicate, natlist
ordered≤	intlista	predicate, intlist
ordered≤	olist	predicate, list
p	pair	variable, pair
p0	pair	variable, pair
p1	pair	variable, pair
p2	pair	variable, pair
pair	pair	sort,
perm	stringlist	predicate, stringlist × stringlist
perm	bytelist	predicate, bytelist × bytelist
perm	charlist	predicate, charlist × charlist
perm	assoclista	predicate, assoclist × assoclist
perm	natlista	predicate, natlist × natlist
perm	intlista	predicate, intlist × intlist
perm	bitlista	predicate, bitlist × bitlist
perm	list-perm	predicate, list × list
pos	stringlist	function, string × stringlist → nat
pos	bytelist	function, byte × bytelist → nat
pos	charlist	function, char × charlist → nat
pos	string-less	function, char × string → nat
pos	assoclista	function, pair × assoclist → nat
pos	natlista	function, nat × natlist → nat
pos	intlista	function, int × intlist → nat
pos	bitlista	function, bool × bitlist → nat
pos	list-del	function, elem × list → nat
prime	int-gcd	predicate, int
primes	intlist	predicate, intlist
rational	rational	function, int × int → rationals
rationals	rational	sort,
restn	stringlist	function, nat × stringlist → stringlist
restn	bytelist	function, nat × bytelist → bytelist
restn	charlist	function, nat × charlist → charlist
restn	assoclista	function, nat × assoclist → assoclist
restn	natlista	function, nat × natlist → natlist
restn	intlista	function, nat × intlist → intlist
restn	bitlista	function, nat × bitlist → bitlist
restn	list-del	function, nat × list → list
rev	stringlist	function, stringlist → stringlist
rev	bytelist	function, bytelist → bytelist
rev	charlist	function, charlist → charlist
rev	assoclista	function, assoclist → assoclist
rev	natlista	function, natlist → natlist
rev	intlista	function, intlist → intlist
rev	bitlista	function, bitlist → bitlist
rev	list-last	function, list → list
ri	rational	variable, rationals
ri0	rational	variable, rationals
ri1	rational	variable, rationals
rj	rational	variable, rationals
rj0	rational	variable, rationals
rj1	rational	variable, rationals
rmdup	stringlist	function, stringlist → stringlist
rmdup	bytelist	function, bytelist → bytelist
rmdup	charlist	function, charlist → charlist
rmdup	assoclista	function, assoclist → assoclist
rmdup	natlista	function, natlist → natlist
rmdup	intlista	function, intlist → intlist
rmdup	bitlista	function, bitlist → bitlist
rmdup	list-dup	function, list → list
s	set-basic	variable, set
s0	set-basic	variable, set
s1	set-basic	variable, set
s2	set-basic	variable, set
s2b	byte	function, short → byte
s2bi	byte	function, short → bint
s2i	byte	function, short → int
set	set-basic	sort,
set2list	charlist	function, charset → charlist
set2list	setlist	function, set → list
set2list	natlista	function, natset → natlist
setnogen	set-nogen-basic	sort,
sgn	bitopsaux	function, bitlist → bitlist
sgn	int-min	function, int → int
sho	byte	variable, short
shoi	byte	variable, short
shoj	byte	variable, short
short	byte	sort,
shortOverflow	byte	predicate, int
sng	set-nogen-basic	variable, setnogen
sng0	set-nogen-basic	variable, setnogen
sng1	set-nogen-basic	variable, setnogen
sng2	set-nogen-basic	variable, setnogen
sort	stringlist	function, stringlist → stringlist
sort	intlista	function, intlist → intlist
sort	olist-sort	function, list → list
sortedchars	string-less	constant, string
sqrt	int-square	function, int → int
sqrt	decimal-complex-ops	function, decimal × int → decimal
sqrt	decimal-complex-ops	function, decimal → decimal
stng	store-nogen	variable, storenogen
stng0	store-nogen	variable, storenogen
stng1	store-nogen	variable, storenogen
stng2	store-nogen	variable, storenogen
storenogen	store-nogen	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
string	string-data	sort,
string-left-trim	string-ops	function, string × string → string
string-right-trim	string-ops	function, string × string → string
stringlist	stringlist	sort,
stringvar	string-append	variable, string
stringvar0	string-append	variable, string
strl	stringlist	variable, stringlist
strl0	stringlist	variable, stringlist
strl1	stringlist	variable, stringlist
strl10	stringlist	variable, stringlist
strl2	stringlist	variable, stringlist
strl3	stringlist	variable, stringlist
strl4	stringlist	variable, stringlist
strl5	stringlist	variable, stringlist
strl6	stringlist	variable, stringlist
strl7	stringlist	variable, stringlist
strl8	stringlist	variable, stringlist
strl9	stringlist	variable, stringlist
sublist	stringlist	function, nat × nat × stringlist → stringlist
sublist	bytelist	function, nat × nat × bytelist → bytelist
sublist	charlist	function, nat × nat × charlist → charlist
sublist	assoclista	function, nat × nat × assoclist → assoclist
sublist	natlista	function, nat × nat × natlist → natlist
sublist	intlista	function, nat × nat × intlist → intlist
sublist	bitlista	function, nat × nat × bitlist → bitlist
sublist	list-del	function, nat × nat × list → list
substring	string-ops	function, string × nat × nat → string
s→l	string2list	function, string → charlist
s→n	string2nat	function, string → nat
trim-number	string-ops	function, string → string
truncate	decimal	function, decimal × int → decimal
ub2i	byte	function, byte → int
uint2bits	int2bits	function, int → bitlist
unique_al	assoclist	predicate, assoclist
upcase	string-ops	function, charlist → charlist
upcase	string-ops	function, string → string
upcase	string-ops	function, char → char
upcaseFirst	string-ops	function, string → string
us2i	byte	function, short → int
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
\|	int-gcd	predicate, int × int
\|	decimal-complex-ops	predicate, decimal × decimal
\|%\|	int-mod	function, int × int → int
\|/\|	int-mod	function, int × int → int
}	set-nogen-union	function, elem → setnogen
}	charlist	function, char → charset
}	natlista	function, nat → natset
}	set-union	function, elem → set
~	rational	function, rationals → rationals
~	int-abs	function, int → int
~	decimal-simple-ops	function, decimal → decimal
×	store-nogen	function, elem × data → elemdata
×	pair	function, elem × data → pair
Π	intlist	function, intlist → int
Π	natlist	function, natlist → nat
Σ	intlist	function, intlist → int
Σ	natlist	function, natlist → nat
∅	set-nogen-basic	constant, setnogen
∅	charlist	constant, charset
∅	natlista	constant, natset
∅	set-basic	constant, set
∈	stringlist	predicate, string × stringlist
∈	bytelist	predicate, byte × bytelist
∈	set-nogen-basic	predicate, elem × setnogen
∈	string-ops	predicate, char × string
∈	charlist	predicate, char × charset
∈	charlist	predicate, char × charlist
∈	store-nogen	predicate, elemdata × storenogen
∈	assoclist	predicate, elem × assoclist
∈	assoclista	predicate, pair × assoclist
∈	natlista	predicate, nat × natset
∈	natlista	predicate, nat × natlist
∈	intlista	predicate, int × intlist
∈	bitlista	predicate, bool × bitlist
∈	set-basic	predicate, elem × set
∈	list	predicate, elem × list
∈bint	byte	predicate, int
∈byte	byte	predicate, int
∈long	byte	predicate, int
∈short	byte	predicate, int
∩	set-nogen-union	function, setnogen × setnogen → setnogen
∩	charlist	function, charset × charset → charset
∩	natlista	function, natset × natset → natset
∩	set-union	function, set × set → set
∪	stringlist	function, stringlist × stringlist → stringlist
∪	bytelist	function, bytelist × bytelist → bytelist
∪	set-nogen-union	function, setnogen × setnogen → setnogen
∪	charlist	function, charset × charset → charset
∪	charlist	function, charlist × charlist → charlist
∪	assoclista	function, assoclist × assoclist → assoclist
∪	natlista	function, natset × natset → natset
∪	natlista	function, natlist × natlist → natlist
∪	intlista	function, intlist × intlist → intlist
∪	bitlista	function, bitlist × bitlist → bitlist
∪	set-union	function, set × set → set
∪	list-set	function, list × list → list
≡mod	int-mod	predicate, int × int × int
≤	rational	predicate, rationals × rationals
≤	int-abs	predicate, int × int
≤	nat	predicate, nat × nat
≤	decimal-simple-ops	predicate, decimal × decimal
≥	rational	predicate, rationals × rationals
≥	int-abs	predicate, int × int
≥	nat	predicate, nat × nat
≥	decimal-simple-ops	predicate, decimal × decimal
⊆	stringlist	predicate, stringlist × stringlist
⊆	bytelist	predicate, bytelist × bytelist
⊆	set-nogen-basic	predicate, setnogen × setnogen
⊆	charlist	predicate, charset × charset
⊆	charlist	predicate, charlist × charlist
⊆	store-nogen	predicate, storenogen × storenogen
⊆	assoclista	predicate, assoclist × assoclist
⊆	natlista	predicate, natset × natset
⊆	natlista	predicate, natlist × natlist
⊆	intlista	predicate, intlist × intlist
⊆	bitlista	predicate, bitlist × bitlist
⊆	set-basic	predicate, set × set
⊆	list-set	predicate, list × list
⊆m	stringlist	predicate, stringlist × stringlist
⊆m	bytelist	predicate, bytelist × bytelist
⊆m	charlist	predicate, charlist × charlist
⊆m	assoclista	predicate, assoclist × assoclist
⊆m	natlista	predicate, natlist × natlist
⊆m	intlista	predicate, intlist × intlist
⊆m	bitlista	predicate, bitlist × bitlist
⊆m	list-perm	predicate, list × list
⊑	stringlist	predicate, stringlist × stringlist
⊑	bytelist	predicate, bytelist × bytelist
⊑	string-ops	predicate, string × string
⊑	charlist	predicate, charlist × charlist
⊑	assoclista	predicate, assoclist × assoclist
⊑	natlista	predicate, natlist × natlist
⊑	intlista	predicate, intlist × intlist
⊑	bitlista	predicate, bitlist × bitlist
⊑	list-last	predicate, list × list
⊒	stringlist	predicate, stringlist × stringlist
⊒	bytelist	predicate, bytelist × bytelist
⊒	charlist	predicate, charlist × charlist
⊒	assoclista	predicate, assoclist × assoclist
⊒	natlista	predicate, natlist × natlist
⊒	intlista	predicate, intlist × intlist
⊒	bitlista	predicate, bitlist × bitlist
⊒	list-last	predicate, list × list