[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
#	array	function, array → nat
+	nat-basic2	function, nat × nat → nat
+1	nat-basic1	function, nat → nat
-	nat	function, nat × nat → nat
-1	nat-basic1	function, nat → nat
<	nat-basic1	predicate, nat × nat
>	nat	predicate, nat × nat
]	array	function, array × nat → elem
]	array	function, array × nat × elem → array
a	elem	variable, elem
ar	array	variable, array
ar0	array	variable, array
ar1	array	variable, array
ar2	array	variable, array
array	array	sort,
b	elem	variable, elem
c	elem	variable, elem
cmp	array-copy	predicate, array × nat × array × nat × nat
cmp	array-copy	predicate, array × elem × nat × nat
copy	array-copy	function, array × nat × array × nat × nat → array
elem	elem	sort,
fill	array-copy	function, array × elem × nat × nat → array
fill	array-copy	function, array × elem → array
idrange	array-copy	predicate, array × nat × nat
id○	array-copy	predicate, array × array × nat
lcp	lcp	function, array × nat × nat → nat
lcp#	lcp	procedure, array × nat × nat : nat
m	nat-basic2	variable, nat
m0	array-copy	variable, nat
mkarray	array	function, nat → array
n	nat-basic1	variable, nat
n0	nat-basic1	variable, nat
n1	nat-basic1	variable, nat
nat	nat-basic1	sort,
pos	array-copy	function, array × elem → nat
subarray	array-copy	function, array × nat × nat → array
≤	nat	predicate, nat × nat
≥	nat	predicate, nat × nat
∈	array-copy	predicate, elem × array