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

Back to main index. View the specification. View theorem base summary, View theorem base listing, the used properties by spec, the dependency list, the symbol table,

Signature symbols in this unit

Symbol	Specification	Kind	Type
# .	dataarray	f	dataarray → nat
. + .	dataarray	f	dataarray × dataarray → dataarray
. + .	nat-basic2	f	nat × nat → nat
. +1	nat-basic1	f	nat → nat
. - .	nat	f	nat × nat → nat
. -1	nat-basic1	f	nat → nat
. < .	nat-basic1	p	nat × nat
. > .	nat	p	nat × nat
. [ . ]	dataarray	f	dataarray × nat → data
. [ . ]	dataarray	f	dataarray × nat × data → dataarray
. ∈ .	dataarray	p	data × dataarray
. ≤ .	nat	p	nat × nat
. ≥ .	nat	p	nat × nat
ar	dataarray	v	dataarray
ar0	dataarray	v	dataarray
ar1	dataarray	v	dataarray
ar2	dataarray	v	dataarray
cmp	dataarray	p	dataarray × data × nat × nat
cmp	dataarray	p	dataarray × nat × dataarray × nat × nat
copy	dataarray	f	dataarray × nat × dataarray × nat × nat → dataarray
d	data	v	data
d0	data	v	data
d1	data	v	data
d2	data	v	data
data	data	s
dataarray	dataarray	s
empty	dataarray	c	data
fill	dataarray	f	dataarray × data × nat × nat → dataarray
fill	dataarray	f	dataarray × data → dataarray
id○	dataarray	p	dataarray × dataarray × nat
idrange	dataarray	p	dataarray × nat × nat
m	nat-basic1	v	nat
m0	array-copy	v	nat
max	min-max	f	nat × nat → nat
min	min-max	f	nat × nat → nat
mkarray	dataarray	f	nat → dataarray
mkemparray	dataarray	f	nat → dataarray
mkzarray	dataarray	f	nat → dataarray
n	nat-basic1	v	nat
n0	nat-basic1	v	nat
n1	nat-basic1	v	nat
nat	nat-basic1	s
range=	dataarray	p	dataarray × nat × dataarray × nat × nat
resize	dataarray	f	dataarray × nat → dataarray
rev	dataarray	f	dataarray → dataarray
rev	dataarray	f	dataarray × nat → dataarray
splice	dataarray	f	dataarray × nat × dataarray × nat × nat → dataarray
subarray	dataarray	f	dataarray × nat × nat → dataarray
zero	dataarray	c	data