[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
#	list-data	function, list → nat
%	nat-div	function, nat × nat → nat
%	int-div	function, int × int → int
'	intlist	function, int → list
'	list	function, elem → list
*	nat-mult	function, nat × nat → nat
*	int-mult	function, int × int → int
+	intlist	function, int × list → list
+	intlist	function, list × int → list
+	intlist	function, int × int → list
+	int-basic2	function, int × int → int
+	list	function, list × list → list
+	list	function, list × elem → list
+	list	function, elem × elem → list
+	list-data	function, elem × list → list
+	nat-basic2	function, nat × nat → nat
+1	int-basic1	function, int → int
+1	nat-basic1	function, nat → nat
-	int-abs	function, int × int → int
-	nat	function, nat × nat → nat
-1	int-basic1	function, int → int
-1	nat-basic1	function, nat → nat
.first	list-data	function, list → elem
.rest	list-data	function, list → list
.t	treeorfail	function, treeorfail → tree
/	nat-div	function, nat × nat → nat
/	int-div	function, int × int → int
<	int-basic1	predicate, int × int
<	list-data	predicate, list × list
<	nat-basic1	predicate, nat × nat
>	int-abs	predicate, int × int
>	nat	predicate, nat × nat
Leaf	tree	constant, tree
Node	tree	function, tree × tree → tree
[]	list-data	constant, list
a	elem	variable, elem
a0	list-data	variable, elem
abs	int-abs	function, int → int
b	elem	variable, elem
build#	build	procedure, list : treeorfail
build_rec#	build	procedure, int : list × treeorfail
c	elem	variable, elem
d	intlist	variable, int
depths	build-base	function, tree × int → list
elem	elem	sort,
even	int-min	predicate, int
fail	treeorfail	constant, treeorfail
h	intlist	variable, int
head	intlist	function, list → int
i	int-basic1	variable, int
i0	int-basic1	variable, int
int	int-basic1	sort,
is_empty	build-base	predicate, list
i→n	intnat	function, int → nat
j	int-basic1	variable, int
j0	int-basic1	variable, int
l	tree	function, tree → tree
list	list-data	sort,
m	nat-basic2	variable, nat
max	int-min	function, int × int → int
max	build-base	function, list → int
min	int-min	function, int × int → int
min	build-base	function, list → int
n	nat-basic1	variable, nat
n0	nat-basic1	variable, nat
n1	nat-basic1	variable, nat
nat	nat-basic1	sort,
n→i	intnat	function, nat → int
odd	int-min	predicate, int
pop	intlist	function, list → list
r	tree	function, tree → tree
sgn	int-min	function, int → int
some	treeorfail	function, tree → treeorfail
t	tree	variable, tree
t0	tree	variable, tree
t1	tree	variable, tree
t2	tree	variable, tree
to	treeorfail	variable, treeorfail
to0	treeorfail	variable, treeorfail
to1	treeorfail	variable, treeorfail
tree	tree	sort,
treeorfail	treeorfail	sort,
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-abs	function, int → int
≤	int-abs	predicate, int × int
≤	nat	predicate, nat × nat
≥	int-abs	predicate, int × int
≥	nat	predicate, nat × nat
∈	intlist	predicate, int × list
∈	list	predicate, elem × list