[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
#	stream-of-streams	function, Streamstream → Natinf
#	stream-of-streams	function, Streamlist → Nat
#	matrixops	function, Vector → Nat
#	assoclist	function, Assoclist → Nat
#	stream	function, Stream → Natinf
#	string	function, String → Nat
#	list-data	function, List → Nat
#	set-basic	function, Set → Nat
#	natstream	function, Natstream → Natinf
#	natstream	function, Natlist → Nat
#	store	function, Map → Nat
#	bag-union	function, Bag → Nat
#	natset	function, Natset → Nat
#	reflist	function, Reflist → Nat
#	linheap	function, Heap → Nat
#c	matrix	function, Matrix → Nat
#oc	list-perm	function, Elem × List → Nat
#oc	list-as-arrayinstance	function, Elem × Array → Nat
#r	matrix	function, Matrix → Nat
%	nat-div	partial function, Nat × Nat → Nat
%	int-div	partial function, Int × Int → Int
'	stream-of-streams	function, Stream → Streamlist
'	list	function, Elem → List
'	assoclist	function, Pair → Assoclist
'	string	function, Char → String
'	natstream	function, Nat → Natlist
'	list-as-arrayinstance	function, Elem → Array
'	reflist	function, Ref → Reflist
*	real-multdiv	function, Real × Real → Real
*	nat-mult	function, Nat × Nat → Nat
*	matrixops	partial function, Vector × Vector → Elem
*	matrixops	partial function, Vector × Matrix → Vector
*	matrixops	partial function, Matrix × Vector → Vector
*	matrixops	partial function, Matrix × Matrix → Matrix
*	ring	function, Elem × Elem → Elem
*	int-mult	function, Int × Int → Int
+	array-listops	function, Elem × Array → Array
+	stream-of-streams	function, Streamstream × Streamstream → Streamstream
+	stream-of-streams	function, Stream × Streamstream → Streamstream
+	stream-of-streams	function, Streamlist × Stream → Streamlist
+	stream-of-streams	function, Streamlist × Streamlist → Streamlist
+	stream-of-streams	function, Stream × Streamlist → Streamlist
+	int-basic2	function, Int × Int → Int
+	matrixops	partial function, Vector × Vector → Vector
+	matrixops	partial function, Matrix × Matrix → Matrix
+	nat-inf	function, Natinf × Natinf → Natinf
+	ring	function, Elem × Elem → Elem
+	list	function, List × Elem → List
+	list	function, List × List → List
+	assoclist	function, Assoclist × Pair → Assoclist
+	assoclist	function, Assoclist × Assoclist → Assoclist
+	assoclist	function, Pair × Assoclist → Assoclist
+	stream	function, Stream × Stream → Stream
+	stream	function, Elem × Stream → Stream
+	string	function, String × Char → String
+	string	function, String × String → String
+	string	function, Char × String → String
+	list-data	function, Elem × List → List
+	natstream	function, Natstream × Natstream → Natstream
+	natstream	function, Nat × Natstream → Natstream
+	natstream	function, Natlist × Nat → Natlist
+	natstream	function, Natlist × Natlist → Natlist
+	natstream	function, Nat × Natlist → Natlist
+	list-as-arrayinstance	function, Array × Elem → Array
+	list-as-arrayinstance	function, Array × Array → Array
+	real-basic	function, Real × Real → Real
+	nat-basic	function, Nat × Nat → Nat
+	reflist	function, Reflist × Ref → Reflist
+	reflist	function, Reflist × Reflist → Reflist
+	reflist	function, Ref × Reflist → Reflist
++	stream-of-streams	function, Streamlist × Stream → Streamlist
++	list-dup	function, List × Elem → List
++	assoclist	function, Assoclist × Pair → Assoclist
++	string	function, String × Char → String
++	set-basic	function, Set × Elem → Set
++	natstream	function, Natlist × Nat → Natlist
++	bag-basic	function, Bag × Elem → Bag
++	infset-basic	function, Set × Elem → Set
++	list-as-arrayinstance	function, Array × Elem → Array
++	natset	function, Natset × Nat → Natset
++	reflist	function, Reflist × Ref → Reflist
+1	nat-basic	function, Nat → Nat
+1	int-basic1	function, Int → Int
+2	list	function, Elem × Elem → List
+2	assoclist	function, Pair × Pair → Assoclist
+2	string	function, Char × Char → String
+2	list-as-arrayinstance	function, Elem × Elem → Array
+2	reflist	function, Ref × Ref → Reflist
+l	stream-of-streams	function, Stream × Stream → Streamlist
+l	natstream	function, Nat × Nat → Natlist
-	int-abs	function, Int × Int → Int
-	nat	partial function, Nat × Nat → Nat
-	real-abs	function, Real × Real → Real
--	store	function, Map × Elem → Map
--	set-union	function, Set × Elem → Set
--	bag-union	function, Bag × Elem → Bag
--	infset-union	function, Set × Elem → Set
--	natset	function, Natset × Nat → Natset
--	linheap	function, Heap × Ref → Heap
-1	nat-basic	partial function, Nat → Nat
-1	int-basic1	function, Int → Int
-1l	list-del	function, List × Elem → List
-1l	stream-of-streams	function, Streamlist × Stream → Streamlist
-1l	assoclist	function, Assoclist × Pair → Assoclist
-1l	string	function, String × Char → String
-1l	natstream	function, Natlist × Nat → Natlist
-1l	list-as-arrayinstance	function, Array × Elem → Array
-1l	reflist	function, Reflist × Ref → Reflist
-l	list-del	function, List × Elem → List
-l	stream-of-streams	function, Streamlist × Stream → Streamlist
-l	assoclist	function, Assoclist × Pair → Assoclist
-l	string	function, String × Char → String
-l	natstream	function, Natlist × Nat → Natlist
-l	list-as-arrayinstance	function, Array × Elem → Array
-l	reflist	function, Reflist × Ref → Reflist
-p	list-del	function, List × Nat → List
-p	stream-of-streams	function, Streamlist × Nat → Streamlist
-p	assoclist	function, Assoclist × Nat → Assoclist
-p	string	function, String × Nat → String
-p	list-as-arrayinstance	function, Array × Nat → Array
-p	reflist	function, Reflist × Nat → Reflist
-pos	natstream	function, Natlist × Nat → Natlist
-∞	int-inf-basic	constant, Intinf
.1	nat-pair	function, Nat → Nat
.1	pair	function, Pair → Elem
.1	int-pair	function, Int → Int
.2	nat-pair	function, Nat → Nat
.2	pair	function, Pair → Data
.2	int-pair	function, Int → Int
.butlast	stream-of-streams	partial function, Streamlist → Streamlist
.butlast	assoclist	partial function, Assoclist → Assoclist
.butlast	string	partial function, String → String
.butlast	list-last	partial function, List → List
.butlast	natstream	partial function, Natlist → Natlist
.butlast	list-as-arrayinstance	partial function, Array → Array
.butlast	reflist	partial function, Reflist → Reflist
.butmax	oset	partial function, Set → Set
.butmin	oset	partial function, Set → Set
.butmin	ostore	partial function, Map → Map
.char1	string	partial function, String → Char
.f	stream-of-streams	partial function, Streamstream → Nat → Stream
.f	stream-basic	partial function, Stream → Nat → Elem
.f	natstream	partial function, Natstream → Nat → Nat
.first	array-listops	partial function, Array → Elem
.head	stream-of-streams	partial function, Streamlist → Stream
.head	assoclist	partial function, Assoclist → Pair
.head	list-data	partial function, List → Elem
.head	natstream	partial function, Natlist → Nat
.i	int-inf-basic	partial function, Intinf → Int
.keys	ostore	function, Map → Set
.l	stream-of-streams	partial function, Streamstream → Streamlist
.l	stream-basic	partial function, Stream → List
.l	natstream	partial function, Natstream → Natlist
.last	stream-of-streams	partial function, Streamlist → Stream
.last	assoclist	partial function, Assoclist → Pair
.last	string	partial function, String → Char
.last	list-last	partial function, List → Elem
.last	natstream	partial function, Natlist → Nat
.last	list-as-arrayinstance	partial function, Array → Elem
.last	reflist	partial function, Reflist → Ref
.map	store-map	function, Map × Elem × Data → Data → Map
.map	store-map	function, Map × Data → Data → Map
.max	oset	partial function, Set → Elem
.min	oset	partial function, Set → Elem
.min	ostore	partial function, Map → Elem
.n	nat-inf	partial function, Natinf → Nat
.nxt	lincell	function, Cell → Ref
.r	real-basic	function, Int → Real
.rest	array-listops	partial function, Array → Array
.rstring	string	partial function, String → String
.tail	stream-of-streams	partial function, Streamlist → Streamlist
.tail	assoclist	partial function, Assoclist → Assoclist
.tail	list-data	partial function, List → List
.tail	natstream	partial function, Natlist → Natlist
.toArc	rowcol-upd	function, Matrix → Array
.toArr	rowcol-upd	function, Matrix → Array
/	nat-div	partial function, Nat × Nat → Nat
/	int-div	partial function, Int × Int → Int
/	real-multdiv	partial function, Real × Real → Real
2^	nat-pot	function, Nat → Nat
<	array-listops	predicate, Array × Array
<	oset	predicate, Set × Elem
<	oset	predicate, Elem × Set
<	stream-of-streams	predicate, Streamlist × Streamlist
<	oelem	predicate, Elem × Elem
<	nat-inf	predicate, Natinf × Natinf
<	int-inf	predicate, Intinf × Intinf
<	assoclist	predicate, Assoclist × Assoclist
<	list-data	predicate, List × List
<	natstream	predicate, Natlist × Natlist
<	string-less	predicate, Char × Char
<	string-less	predicate, String × String
<	real-basic	predicate, Real × Real
<	nat-basic	predicate, Nat × Nat
<	reflist	predicate, Reflist × Reflist
<	int-basic1	predicate, Int × Int
>	int-abs	predicate, Int × Int
>	nat	predicate, Nat × Nat
>	real-abs	predicate, Real × Real
A	wellfounded-TL	variable, Elem,flexible
Array	array	sort,
Assoclist	assoclist	sort,
Bag	bag-basic	sort,
Bool	bool	sort,
Cell	lincell	sort,
Char	char	sort,
Data	data	sort,
Elem	hilbert-choice	sort,
Elem	wellfounded	sort,
Elem	elem	sort,
Elem	setelems	sort,
Elem1	lexical-param	sort,
Elem2	lexical-param	sort,
Heap	linheap	sort,
I	ring	constant, Elem
IS	monotone-set-fixpoint	function, (Elem → Bool) → Bool → Elem → Bool
Int	int-basic1	sort,
Intinf	int-inf-basic	sort,
List	list-data	sort,
Map	store	sort,
Matrix	matrix	sort,
N	wellfounded-TL	variable, Nat,flexible
Nat	nat-basic	sort,
Natinf	nat-inf	sort,
Natlist	natstream	sort,
Natset	natset	sort,
Natstream	natstream	sort,
O	ring	constant, Elem
O-	matrixops	function, Vector → Vector
O-	matrixops	function, Matrix → Matrix
O-	ring	function, Elem → Elem
Pair	pair	sort,
Real	real-basic	sort,
Ref	Ref	sort,
Reflist	reflist	sort,
Set	set-basic	sort,
Set	infset-basic	sort,
Stream	stream-basic	sort,
Streamlist	stream-of-streams	sort,
Streamstream	stream-of-streams	sort,
String	string	sort,
UN	monotone-set-fixpoint	function, (Elem → Bool) → Bool → Elem → Bool
Vector	matrixops	sort,
[]	array-listops	constant, Array
[]	stream-of-streams	constant, Streamstream
[]	stream-of-streams	constant, Streamlist
[]	assoclist	constant, Assoclist
[]	stream	constant, Stream
[]	list-data	constant, List
[]	natstream	constant, Natstream
[]	natstream	constant, Natlist
[]	reflist	constant, Reflist
\	set-union	function, Set × Set → Set
\	list-as-arrayinstance	function, Array × Array → Array
\	bag-union	function, Bag × Bag → Bag
\	infset-union	function, Set × Set → Set
\	natset	function, Natset × Natset → Natset
\	list-set	function, List × List → List
\	reflist	function, Reflist × Reflist → Reflist
\	store+set	function, Map × Set → Map
]	list-getput	partial function, List × Nat × Elem → List
]	list-getput	partial function, List × Nat → Elem
]	array	partial function, Array × Nat × Elem → Array
]	array	partial function, Array × Nat → Elem
]	stream-of-streams	partial function, Streamstream × Nat × Stream → Streamstream
]	stream-of-streams	partial function, Streamstream × Nat → Stream
]	stream-of-streams	partial function, Streamlist × Nat × Stream → Streamlist
]	stream-of-streams	partial function, Streamlist × Nat → Stream
]	matrixops	partial function, Vector × Nat × Elem → Vector
]	matrixops	partial function, Vector × Nat → Elem
]	assoclist	partial function, Assoclist × Data → Elem
]	assoclist	partial function, Assoclist × Elem → Data
]	assoclist	partial function, Assoclist × Nat × Pair → Assoclist
]	assoclist	partial function, Assoclist × Nat → Pair
]	assoclist	function, Assoclist × Elem × Data → Assoclist
]	stream	partial function, Stream × Nat × Elem → Stream
]	stream	partial function, Stream × Nat → Elem
]	matrix	partial function, Matrix × Nat × Nat × Elem → Matrix
]	matrix	partial function, Matrix × Nat × Nat → Elem
]	string	partial function, String × Nat × Char → String
]	string	partial function, String × Nat → Char
]	natstream	partial function, Natstream × Nat × Nat → Natstream
]	natstream	partial function, Natstream × Nat → Nat
]	natstream	partial function, Natlist × Nat × Nat → Natlist
]	natstream	partial function, Natlist × Nat → Nat
]	store	partial function, Map × Elem → Data
]	store	function, Map × Elem × Data → Map
]	reflist	partial function, Reflist × Nat × Ref → Reflist
]	reflist	partial function, Reflist × Nat → Ref
]	linheap	partial function, Heap × Ref → Cell
]	linheap	function, Heap × Ref × Cell → Heap
]c	matrixops	partial function, Matrix × Nat → Vector
]c	rowcol-upd	partial function, Matrix × Nat × Array → Matrix
]c	matrix+array	partial function, Matrix × Nat → Array
]r	matrixops	partial function, Matrix × Nat → Vector
]r	rowcol-upd	partial function, Matrix × Nat × Array → Matrix
]r	matrix+array	partial function, Matrix × Nat → Array
^	approx-fixpoint	function, (Elem → Bool) → Elem → Bool × Nat → (Elem → Bool) → Elem → Bool
^	nat-pot	function, Nat × Nat → Nat
^	int-pot	partial function, Int × Int → Int
^*	rtc	function, Elem × Elem → Bool → Elem × Elem → Bool
^-1	real-multdiv	partial function, Real → Real
^2	int-square	function, Int → Int
a	list-getput	variable, Elem
a	hilbert-choice	variable, Elem
a	array-listops	variable, Elem
a	putoutside-id	variable, Elem
a	array	variable, Elem
a	list-del	variable, Elem
a	olist	variable, Elem
a	wellfounded	variable, Elem
a	stream-of-streams	variable, Elem
a	oelem	variable, Elem
a	list-perm	variable, Elem
a	store-map	variable, Elem
a	matrixops	variable, Elem
a	filter-count	variable, Elem
a	array-as-listinstance	variable, Elem
a	wellfounded-TL	variable, Elem
a	list-dup	variable, Elem
a	ring	variable, Elem
a	ostore	variable, Elem
a	array-copy	variable, Elem
a	oelem-min-max	variable, Elem
a	list	variable, Elem
a	assoclist	variable, Elem
a	infinite-append	variable, Elem
a	list-setequal	variable, Elem
a	olist-min-max	variable, Elem
a	stream	variable, Elem
a	elem	variable, Elem
a	choice	variable, Elem
a	lexical	variable, Elem1
a	matrix	variable, Elem
a	pair	variable, Elem
a	list-data	variable, Elem
a	array-revin	variable, Elem
a	inf-app-list	variable, Elem
a	list-last	variable, Elem
a	set-basic	variable, Elem
a	rowcol-upd	variable, Array
a	bag-basic	variable, Elem
a	mon-lim-filter-count	variable, Elem
a	infset-basic	variable, Elem
a	store	variable, Elem
a	set-union	variable, Elem
a	olist-sort	variable, Elem
a	list-as-arrayinstance	variable, Elem
a	bag-union	variable, Elem
a	infset-union	variable, Elem
a	list-set	variable, Elem
a	store+set	variable, Elem
a0	wellfounded	variable, Elem
a1	wellfounded	variable, Elem
aa	choice	constant, Elem
abs	int-abs	function, Int → Int
abs	real-abs	function, Real → Real
all<	olist-min-max	predicate, List × Nat × Nat × Elem
all<	olist-min-max	predicate, List × Elem
all<	oarray-sort	predicate, Array × Nat × Nat × Elem
all<	oarray-sort	predicate, Array × Elem
all>	olist-min-max	predicate, List × Nat × Nat × Elem
all>	olist-min-max	predicate, List × Elem
all>	oarray-sort	predicate, Array × Nat × Nat × Elem
all>	oarray-sort	predicate, Array × Elem
all≤	olist-min-max	predicate, List × Nat × Nat × Elem
all≤	olist-min-max	predicate, List × Elem
all≤	oarray-sort	predicate, Array × Nat × Nat × Elem
all≤	oarray-sort	predicate, Array × Elem
all≥	olist-min-max	predicate, List × Nat × Nat × Elem
all≥	olist-min-max	predicate, List × Elem
all≥	oarray-sort	predicate, Array × Nat × Nat × Elem
all≥	oarray-sort	predicate, Array × Elem
ar	array-listops	variable, Array
ar	array	variable, Array
ar	array-copy	variable, Array
ar	array-revin	variable, Array
ar	list-as-arrayinstance	variable, Array
ar	get-outside	variable, Array
ax	assoclist	variable, Assoclist
ay	assoclist	variable, Assoclist
az	assoclist	variable, Assoclist
b	list-getput	variable, Elem
b	list-del	variable, Elem
b	olist	variable, Elem
b	list-perm	variable, Elem
b	filter-count	variable, Elem
b	array-as-listinstance	variable, Elem
b	list-dup	variable, Elem
b	ring	variable, Elem
b	oelem-min-max	variable, Elem
b	list	variable, Elem
b	assoclist	variable, Elem
b	list-setequal	variable, Elem
b	elem	variable, Elem
b	choice	variable, Elem
b	lexical	variable, Elem2
b	matrix	variable, Elem
b	inf-app-list	variable, Elem
b	list-last	variable, Elem
b	set-basic	variable, Elem
b	bag-basic	variable, Elem
b	mon-lim-filter-count	variable, Elem
b	infset-basic	variable, Elem
b	store	variable, Elem
b	set-union	variable, Elem
b	olist-sort	variable, Elem
b	bag-union	variable, Elem
b	infset-union	variable, Elem
b	list-set	variable, Elem
b	store+set	variable, Elem
bag	bag-basic	variable, Bag
bag	bag-union	variable, Bag
boolvar	bool	variable, Bool
bounded≤	real-limit	predicate, Nat → Real × Real
bounded≤	real-supinf	predicate, Real → Bool
bounded≥	real-limit	predicate, Nat → Real × Real
bounded≥	real-supinf	predicate, Real → Bool
butlastn	stream-of-streams	partial function, Nat × Streamlist → Streamlist
butlastn	assoclist	partial function, Nat × Assoclist → Assoclist
butlastn	string	partial function, Nat × String → String
butlastn	list-last	partial function, Nat × List → List
butlastn	natstream	partial function, Nat × Natlist → Natlist
butlastn	list-as-arrayinstance	partial function, Nat × Array → Array
butlastn	reflist	partial function, Nat × Reflist → Reflist
c	list-getput	variable, Elem
c	list-del	variable, Elem
c	olist	variable, Elem
c	list-perm	variable, Elem
c	matrixops	variable, Nat
c	array-as-listinstance	variable, Elem
c	list-dup	variable, Elem
c	ring	variable, Elem
c	list	variable, Elem
c	list-setequal	variable, Elem
c	elem	variable, Elem
c	choice	variable, Elem
c	matrix	variable, Nat
c	list-last	variable, Elem
c	set-basic	variable, Elem
c	rowcol-upd	variable, Nat
c	store	variable, Elem
c	olist-sort	variable, Elem
c	infset-union	variable, Elem
c	matrix+array	variable, Nat
c	list-set	variable, Elem
c	store+set	variable, Elem
ce	path-reachable	variable, Cell
ce	lincell	variable, Cell
chain	approx-fixpoint	predicate, Nat → Elem → Bool
char	char	variable, Char
char	string	variable, Char
char	string-less	variable, Char
chn	approx-fixpoint	variable, Nat → Elem → Bool
cmp	array-copy	partial predicate, Array × Elem × Nat × Nat
cmp	array-copy	partial predicate, Array × Nat × Array × Nat × Nat
cmp	array-copy	predicate, Array × Elem
cnt	natstream	function, Nat × Natstream → Natinf
cnt	mon-lim-filter-count	function, Elem × Stream → Natinf
compl	monotone-set-fixpoint	function, (Elem → Bool) → Elem → Bool → (Elem → Bool) → Elem → Bool
const	celem	constant, Elem
cont	approx-fixpoint	predicate, (Elem → Bool) → Elem → Bool
converges	real-limit	predicate, Nat → Real × Real
converges	real-limit	predicate, Nat → Real
copy	array-copy	partial function, Array × Nat × Array × Nat × Nat → Array
count	filter-count	partial function, List × Nat × Nat × Elem → Bool → Nat
count	filter-count	function, List × Elem → Bool → Nat
count	oarray-sort	partial function, Array × Nat × Nat × Elem → Bool → Nat
count	oarray-sort	function, Array × Elem → Bool → Nat
count	bag-basic	function, Elem × Bag → Nat
d	ostore	variable, Data
d	assoclist	variable, Data
d	pair	variable, Data
d	data	variable, Data
d	store	variable, Data
d	store+set	variable, Data
dataf	store-map	variable, Data → Data
decode	int-pair	function, Int → Nat
decode	int-pair	function, Nat → Int
disj	stream-of-streams	predicate, Streamlist × Streamlist
disj	list-dup	predicate, List × List
disj	assoclist	predicate, Assoclist × Assoclist
disj	string	predicate, String × String
disj	natstream	predicate, Natlist × Natlist
disj	list-as-arrayinstance	predicate, Array × Array
disj	reflist	predicate, Reflist × Reflist
disjoint	set-union	predicate, Set × Set
disjoint	natset	predicate, Natset × Natset
dist	nat-prime	function, Nat × Nat → Nat
dom	store+set	function, Map → Set
dups	stream-of-streams	predicate, Streamlist
dups	list-dup	predicate, List
dups	assoclist	predicate, Assoclist
dups	string	predicate, String
dups	natstream	predicate, Natlist
dups	list-as-arrayinstance	predicate, Array
dups	reflist	predicate, Reflist
elemdataf	store-map	variable, Elem × Data → Data
elemf	choice	variable, Elem → Elem
encode	nat-pair	function, Nat × Nat → Nat
encode	int-pair	function, Nat → Int
encode	int-pair	function, Int → Nat
even	int-min	predicate, Int
even	nat-even	predicate, Nat
f	real-limit	variable, Nat → Real
f	matrixops	variable, Nat → Elem
f	stream-basic	variable, Nat → Elem
f	approx-fixpoint	variable, (Elem → Bool) → Elem → Bool
f	infset-basic	variable, Elem → Bool
f	monotone-set-fixpoint	variable, (Elem → Bool) → Elem → Bool
f	streamseq-mon-lim	variable, Stream → Stream
fill	array-copy	partial function, Array × Elem × Nat × Nat → Array
fill	array-copy	function, Array × Elem → Array
fillfirst	stream-of-streams	function, Nat × Stream × Streamlist → Streamlist
fillfirst	assoclist	function, Nat × Pair × Assoclist → Assoclist
fillfirst	string	function, Nat × Char × String → String
fillfirst	list-last	function, Nat × Elem × List → List
fillfirst	natstream	function, Nat × Nat × Natlist → Natlist
fillfirst	list-as-arrayinstance	function, Nat × Elem × Array → Array
fillfirst	reflist	function, Nat × Ref × Reflist → Reflist
filter	filter-count	function, List × Elem → Bool → List
filter	oarray-sort	function, Array × Elem → Bool → Array
filter	natstream	function, Nat → Bool × Natstream → Natstream
filter	mon-lim-filter-count	function, Elem → Bool × Stream → Stream
filter	list-as-arrayinstance	function, Array × Array → Array
filter	list-set	function, List × List → List
filter	reflist	function, Reflist × Reflist → Reflist
finp	stream-of-streams	predicate, Streamstream
finp	stream-basic	predicate, Stream
finp	natstream	predicate, Natstream
firstn	list-del	partial function, Nat × List → List
firstn	stream-of-streams	partial function, Nat × Streamlist → Streamlist
firstn	assoclist	partial function, Nat × Assoclist → Assoclist
firstn	string	partial function, Nat × String → String
firstn	natstream	partial function, Nat × Natlist → Natlist
firstn	list-as-arrayinstance	partial function, Nat × Array → Array
firstn	reflist	partial function, Nat × Reflist → Reflist
from	stream-of-streams	partial function, Streamlist × Nat → Streamlist
from	stream-of-streams	partial function, Streamstream × Nat → Streamstream
from	stream-of-streams	function, Nat → Stream × Nat → Nat → Stream
from	stream	partial function, List × Nat → List
from	stream	partial function, Stream × Nat → Stream
from	stream	function, Nat → Elem × Nat → Nat → Elem
from	natstream	partial function, Natlist × Nat → Natlist
from	natstream	partial function, Natstream × Nat → Natstream
from	natstream	function, Nat → Nat × Nat → Nat → Nat
frome	list-del	function, List × Elem → List
frome	stream-of-streams	function, Streamlist × Stream → Streamlist
frome	assoclist	function, Assoclist × Pair → Assoclist
frome	string	function, String × Char → String
frome	natstream	function, Natlist × Nat → Natlist
frome	list-as-arrayinstance	function, Array × Elem → Array
frome	reflist	function, Reflist × Ref → Reflist
g	matrixops	variable, Nat × Nat → Elem
gcd	nat-prime	function, Nat × Nat → Nat
gcd	int-gcd	function, Int × Int → Int
h	path-reachable	variable, Heap
hd	stream-of-streams	partial function, Streamstream → Stream
hd	stream	partial function, Stream → Elem
hd	natstream	partial function, Natstream → Nat
hd	reflist	partial function, Reflist → Ref
head	list-data	variable, Elem
i	real-limit	variable, Int
i	int-div	variable, Int
i	real-multdiv	variable, Int
i	int-basic2	variable, Int
i	int-inf-basic	variable, Int
i	intnat	variable, Int
i	int-inf	variable, Int
i	int-min	variable, Int
i	rowcol-upd	variable, Elem
i	int-abs	variable, Int
i	int-pot	variable, Int
i	int-square	variable, Int
i	int-pair	variable, Int
i	real-supinf	variable, Int
i	real-abs	variable, Int
i	real-basic	variable, Int
i	int-gcd	variable, Int
i	int-mult	variable, Int
i	int-basic1	variable, Int
i	real-min-max	variable, Int
i	real-floor-ceil	variable, Int
iHP	wellfounded	variable, Elem → Bool
iHPQ	lexical	variable, Elem1 × Elem2 → Bool
idrange	array-copy	partial predicate, Array × Nat × Nat
id○	array-copy	predicate, Array × Array × Nat × Nat
id○	array-copy	predicate, Array × Array × Nat
ii	infinite-append	variable, Nat → Nat
ii	inf-app-list	variable, Nat → Nat
iigen	infinite-append	variable, Nat → Nat → Nat
inf	real-supinf	partial function, Real → Bool → Real
ins≤	olist	function, Elem × List → List
ins≤	oarray-sort	function, Elem × Array → Array
inv	rtc-rel	predicate, Elem × Elem → Bool
inv	stut-mon	partial function, Natstream → Natstream
iset	approx-fixpoint	variable, Elem → Bool
iset	monotone-set-fixpoint	variable, Elem → Bool
isetset	monotone-set-fixpoint	variable, (Elem → Bool) → Bool
i→n	intnat	function, Int → Nat
i∞	int-inf-basic	variable, Intinf
i∞	int-inf	variable, Intinf
j	real-limit	variable, Int
j	int-div	variable, Int
j	real-multdiv	variable, Int
j	int-basic2	variable, Int
j	intnat	variable, Int
j	int-min	variable, Int
j	rowcol-upd	variable, Elem
j	int-abs	variable, Int
j	int-pot	variable, Int
j	int-square	variable, Int
j	int-pair	variable, Int
j	real-supinf	variable, Int
j	real-abs	variable, Int
j	real-basic	variable, Int
j	int-gcd	variable, Int
j	int-mult	variable, Int
j	int-basic1	variable, Int
jj	infinite-append	variable, Nat → Nat
l	stream-basic	variable, List
lastn	list-del	partial function, Nat × List → List
lastn	stream-of-streams	partial function, Nat × Streamlist → Streamlist
lastn	assoclist	partial function, Nat × Assoclist → Assoclist
lastn	string	partial function, Nat × String → String
lastn	natstream	partial function, Nat × Natlist → Natlist
lastn	list-as-arrayinstance	partial function, Nat × Array → Array
lastn	reflist	partial function, Nat × Reflist → Reflist
lastoc	natstream	function, Nat × Natstream → Natinf
lastoc	mon-lim-filter-count	function, Elem × Stream → Natinf
leninv	stut-mon	function, Natstream → Natinf
lex<	lexical	predicate, Elem1 × Elem2 × Elem1 × Elem2
lf	infinite-append	variable, Nat → List
lf	inf-app-list	variable, Nat → List
lf	streamseq-mon-lim	variable, Nat → List
lfgen	infinite-append	variable, Nat → Nat → List
lim	natstream	partial function, Nat → Natstream → Natstream
lim	mon-lim-filter-count	partial function, Nat → Stream → Stream
lim	streamseq-mon-lim	partial function, Streamstream → Stream
limit	real-limit	partial function, Nat → Real → Real
log	nat-pot	partial function, Nat × Nat → Nat
log2	nat-pot	partial function, Nat → Nat
m	list-getput	variable, Nat
m	nat-div	variable, Nat
m	array	variable, Nat
m	list-del	variable, Nat
m	nat-mult	variable, Nat
m	list-perm	variable, Nat
m	matrixops	variable, Nat
m	filter-count	variable, Nat
m	array-as-listinstance	variable, Nat
m	intnat	variable, Nat
m	nat-inf	variable, Nat
m	nat-pair	variable, Nat
m	stream-basic	variable, Nat
m	array-copy	variable, Nat
m	infinite-append	variable, Nat
m	choice	variable, Nat
m	array-revin	variable, Nat
m	inf-app-list	variable, Nat
m	approx-fixpoint	variable, Nat
m	list-last	variable, Nat
m	rowcol-upd	variable, Nat
m	nat-sgn	variable, Nat
m	nat-pot	variable, Nat
m	mon-lim-filter-count	variable, Nat
m	set-union	variable, Nat
m	path-reachable	variable, Nat
m	int-pair	variable, Nat
m	nat-even	variable, Nat
m	natset	variable, Nat
m	streamseq-mon-lim	variable, Nat
m	list-set	variable, Nat
max	oelem-min-max	function, Elem × Elem → Elem
max	olist-min-max	partial function, List → Elem
max	int-min	function, Int × Int → Int
max	oarray-sort	partial function, Array → Elem
max	nat-even	function, Nat × Nat → Nat
max	real-min-max	function, Real × Real → Real
max_prime_divisor	int-gcd	function, Int → Int
maxenc	nat-pair	function, Nat × Nat → Nat
maxenc	nat-pair	function, Nat → Nat
max∞	stut-mon	function, Nat → Bool → Natinf
merge	olist	function, List × List → List
merge	oarray-sort	function, Array × Array → Array
min	nat-inf	function, Natinf × Natinf → Natinf
min	oelem-min-max	function, Elem × Elem → Elem
min	olist-min-max	partial function, List → Elem
min	int-min	function, Int × Int → Int
min	oarray-sort	partial function, Array → Elem
min	nat-even	function, Nat × Nat → Nat
min	stut-mon	partial function, Natstream × Nat → Nat
min	real-min-max	function, Real × Real → Real
mkarray	array	function, Nat → Array
mklist	stream-of-streams	function, Stream × Nat → Streamlist
mklist	assoclist	function, Pair × Nat → Assoclist
mklist	string	function, Char × Nat → String
mklist	list-last	function, Elem × Nat → List
mklist	natstream	function, Nat × Nat → Natlist
mklist	list-as-arrayinstance	function, Elem × Nat → Array
mklist	reflist	function, Ref × Nat → Reflist
mkmatrix	matrix	function, Nat × Nat × Elem → Matrix
mkvector	matrixops	function, Nat → Vector
mon	natstream	predicate, Nat → Natstream
mon	mon-lim-filter-count	predicate, Nat → Stream
mon	streamseq-mon-lim	predicate, Streamstream
mon<	stut-mon	predicate, Natstream
monotone	monotone-set-fixpoint	predicate, (Elem → Bool) → Elem → Bool
mon≤	real-limit	predicate, Nat → Real
mon≤	stut-mon	predicate, Natstream
mon≥	real-limit	predicate, Nat → Real
mx	matrixops	variable, Matrix
mx	matrix	variable, Matrix
mx	rowcol-upd	variable, Matrix
mx	matrix+array	variable, Matrix
n	list-getput	variable, Nat
n	array-listops	variable, Nat
n	putoutside-id	variable, Nat
n	nat-div	variable, Nat
n	array	variable, Nat
n	list-del	variable, Nat
n	olist	variable, Nat
n	real-limit	variable, Nat
n	stream-of-streams	variable, Nat
n	nat-mult	variable, Nat
n	list-perm	variable, Nat
n	matrixops	variable, Nat
n	filter-count	variable, Nat
n	array-as-listinstance	variable, Nat
n	intnat	variable, Nat
n	nat-inf	variable, Nat
n	nat-pair	variable, Nat
n	ostore	variable, Nat
n	array-copy	variable, Nat
n	infinite-append	variable, Nat
n	stream	variable, Nat
n	choice	variable, Nat
n	list-data	variable, Nat
n	array-revin	variable, Nat
n	inf-app-list	variable, Nat
n	approx-fixpoint	variable, Nat
n	list-last	variable, Nat
n	set-basic	variable, Nat
n	rowcol-upd	variable, Nat
n	nat-sgn	variable, Nat
n	nat-pot	variable, Nat
n	mon-lim-filter-count	variable, Nat
n	store	variable, Nat
n	set-union	variable, Nat
n	list-as-arrayinstance	variable, Nat
n	path-reachable	variable, Nat
n	get-outside	variable, Nat
n	int-pair	variable, Nat
n	nat-even	variable, Nat
n	natset	variable, Nat
n	streamseq-mon-lim	variable, Nat
n	list-set	variable, Nat
n	store+set	variable, Nat
n	stut-mon	variable, Nat
nextj	infinite-append	variable, Nat × Elem → Nat
nextl	infinite-append	variable, Nat × Elem → List
nextli	inf-app-list	variable, List → List
nextnli	inf-app-list	variable, List × Nat → List
nf	stream-of-streams	variable, Nat → Elem
nf	stream-basic	variable, Nat → Elem
nf	infinite-append	variable, Nat → Elem
nf	stream	variable, Nat → Elem
nf	choice	variable, Nat → Elem
nf	mon-lim-filter-count	variable, Nat → Elem
nf	streamseq-mon-lim	variable, Nat → Elem
nfgen	infinite-append	variable, Nat → Nat → Elem
nfgen	choice	variable, Nat → Nat → Elem
nl	stut-mon	variable, Natlist
nnf	mon-lim-filter-count	variable, Nat → Nat
nnf	stut-mon	variable, Nat → Nat
nnlf	inf-app-list	variable, Nat → Nat → List
np	mon-lim-filter-count	variable, Nat → Bool
np	stut-mon	variable, Nat → Bool
ns	matrixops	variable, Natset
ns	natset	variable, Natset
null	Ref	constant, Ref
nσ	stut-mon	variable, Natstream
n→i	intnat	function, Nat → Int
n∞	nat-inf	variable, Natinf
n∞	mon-lim-filter-count	variable, Natinf
odd	int-min	predicate, Int
odd	nat-even	predicate, Nat
ok	choice	predicate, Elem
ordered<	olist	predicate, List
ordered<	oarray-sort	predicate, Array
ordered≤	olist	predicate, List
ordered≤	oarray-sort	predicate, Array
p	filter-count	variable, Elem → Bool
p	assoclist	variable, Pair
p	elem-rel	predicate, Elem × Elem
p	pair	variable, Pair
p	mon-lim-filter-count	variable, Elem → Bool
p*	rtc-rel	predicate, Elem × Elem
p+	rtc-rel	predicate, Elem × Elem
path	path-reachable	predicate, Reflist × Heap
pelem	rtc-rel	variable, Elem → Bool
pelem	rtc	variable, Elem × Elem → Bool
perm	list-perm	predicate, List × List
perm	list-as-arrayinstance	predicate, Array × Array
pos	list-del	function, Elem × List → Nat
pos	stream-of-streams	function, Stream × Streamlist → Nat
pos	assoclist	function, Pair × Assoclist → Nat
pos	string	function, Char × String → Nat
pos	natstream	function, Nat × Natlist → Nat
pos	list-as-arrayinstance	function, Elem × Array → Nat
pos	reflist	function, Ref × Reflist → Nat
pred	hilbert-choice	variable, Elem → Bool
prime	nat-prime	predicate, Nat
prime	int-gcd	predicate, Int
r	real-limit	variable, Real
r	real-multdiv	variable, Real
r	matrixops	variable, Nat
r	matrix	variable, Nat
r	rowcol-upd	variable, Nat
r	path-reachable	variable, Ref
r	matrix+array	variable, Nat
r	real-supinf	variable, Real
r	Ref	variable, Ref
r	real-abs	variable, Real
r	real-basic	variable, Real
r	real-min-max	variable, Real
r	real-floor-ceil	variable, Real
reachable	path-reachable	predicate, Ref × Ref × Heap
reachable*	path-reachable	predicate, Heap × Ref × Ref
reachable-1	path-reachable	predicate, Heap × Ref × Ref
reachable-n	path-reachable	predicate, Heap × Nat × Ref × Ref
rel	choice	predicate, Elem × Elem
rem	natstream	function, Natstream × Nat → Bool → Natstream
rem	mon-lim-filter-count	function, Stream × Nat → Bool → Stream
restn	list-del	partial function, Nat × List → List
restn	stream-of-streams	partial function, Nat × Streamlist → Streamlist
restn	assoclist	partial function, Nat × Assoclist → Assoclist
restn	string	partial function, Nat × String → String
restn	natstream	partial function, Nat × Natlist → Natlist
restn	list-as-arrayinstance	partial function, Nat × Array → Array
restn	reflist	partial function, Nat × Reflist → Reflist
rev	stream-of-streams	function, Streamlist → Streamlist
rev	assoclist	function, Assoclist → Assoclist
rev	string	function, String → String
rev	array-revin	partial function, Array × Nat → Array
rev	array-revin	function, Array → Array
rev	list-last	function, List → List
rev	natstream	function, Natlist → Natlist
rev	list-as-arrayinstance	function, Array → Array
rev	reflist	function, Reflist → Reflist
rmdup	stream-of-streams	function, Streamlist → Streamlist
rmdup	list-dup	function, List → List
rmdup	assoclist	function, Assoclist → Assoclist
rmdup	string	function, String → String
rmdup	natstream	function, Natlist → Natlist
rmdup	list-as-arrayinstance	function, Array → Array
rmdup	reflist	function, Reflist → Reflist
rset	real-supinf	variable, Real → Bool
rtc	rtc-rel	predicate, Nat × Elem × Elem
rtc	rtc	function, Nat × Elem × Elem → Bool → Elem × Elem → Bool
s	set-basic	variable, Set
s	infset-basic	variable, Set
s	set-union	variable, Set
s	infset-union	variable, Set
s	store+set	variable, Set
sgn	int-min	function, Int → Int
sgn	nat-sgn	function, Nat → Nat
sort	oarray-sort	function, Array → Array
sort	olist-sort	function, List → List
sortedchars	string-less	constant, String
sqrt	int-square	partial function, Int → Int
st	ostore	variable, Map
st	store	variable, Map
st	store+set	variable, Map
str	string-less	variable, String
stutf	stut-mon	predicate, Natstream
subarray	array-copy	partial function, Array × Nat × Nat → Array
sublist	list-del	partial function, Nat × Nat × List → List
sublist	stream-of-streams	partial function, Nat × Nat × Streamlist → Streamlist
sublist	assoclist	partial function, Nat × Nat × Assoclist → Assoclist
sublist	string	partial function, Nat × Nat × String → String
sublist	natstream	partial function, Nat × Nat × Natlist → Natlist
sublist	list-as-arrayinstance	partial function, Nat × Nat × Array → Array
sublist	reflist	partial function, Nat × Nat × Reflist → Reflist
sup	real-supinf	partial function, Real → Bool → Real
tail	list-data	variable, List
tl	stream-of-streams	partial function, Streamstream → Streamstream
tl	stream	partial function, Stream → Stream
tl	natstream	partial function, Natstream → Natstream
tl	reflist	partial function, Reflist → Reflist
to	stream-of-streams	partial function, Streamlist × Nat → Streamlist
to	stream-of-streams	partial function, Streamstream × Nat → Streamstream
to	stream-of-streams	function, Nat → Stream × Nat → Streamlist
to	stream	partial function, List × Nat → List
to	stream	partial function, Stream × Nat → Stream
to	stream	function, Nat → Elem × Nat → List
to	natstream	partial function, Natlist × Nat → Natlist
to	natstream	partial function, Natstream × Nat → Natstream
to	natstream	function, Nat → Nat × Nat → Natlist
to	natset	function, Nat × Nat → Natset
toArc	rowcol-upd	function, Matrix × Nat → Array
toArr	rowcol-upd	function, Matrix × Nat → Array
to∞	stream-of-streams	partial function, Streamstream × Natinf → Streamstream
to∞	stream	partial function, Stream × Natinf → Stream
to∞	natstream	partial function, Natstream × Natinf → Natstream
unique_al	assoclist	predicate, Assoclist
vec	matrixops	variable, Vector
x	list-getput	variable, List
x	putoutside-id	variable, List
x	list-del	variable, List
x	olist	variable, List
x	stream-of-streams	variable, List
x	list-perm	variable, List
x	filter-count	variable, List
x	array-as-listinstance	variable, List
x	stream-basic	variable, List
x	list-dup	variable, List
x	list	variable, List
x	list-setequal	variable, List
x	olist-min-max	variable, List
x	stream	variable, List
x	list-data	variable, List
x	inf-app-list	variable, List
x	approx-fixpoint	variable, Elem
x	list-last	variable, List
x	mon-lim-filter-count	variable, List
x	olist-sort	variable, List
x	monotone-set-fixpoint	variable, Elem
x	path-reachable	variable, Reflist
x	setelems	variable, Elem
x	streamseq-mon-lim	variable, List
x	list-set	variable, List
y	list-getput	variable, List
y	list-del	variable, List
y	olist	variable, List
y	stream-of-streams	variable, List
y	list-perm	variable, List
y	filter-count	variable, List
y	array-as-listinstance	variable, List
y	list-dup	variable, List
y	list	variable, List
y	list-setequal	variable, List
y	stream	variable, List
y	list-data	variable, List
y	inf-app-list	variable, List
y	list-last	variable, List
y	olist-sort	variable, List
y	list-set	variable, List
z	list-getput	variable, List
z	list-del	variable, List
z	olist	variable, List
z	stream-of-streams	variable, List
z	list-perm	variable, List
z	array-as-listinstance	variable, List
z	list-dup	variable, List
z	list	variable, List
z	list-setequal	variable, List
z	stream	variable, List
z	list-data	variable, List
z	list-last	variable, List
z	olist-sort	variable, List
z	list-set	variable, List
\|	nat-prime	predicate, Nat × Nat
\|	int-gcd	predicate, Int × Int
\|	store+set	function, Map × Set → Map
}	infset-basic	function, Elem → Bool → Set
}	set-union	function, Elem → Set
}	bag-union	function, Elem → Bag
}	infset-union	function, Elem → Set
}	natset	function, Nat → Natset
~	int-abs	function, Int → Int
~	real-basic	function, Real → Real
×	pair	function, Elem × Data → Pair
×	int-pair	function, Int × Int → Int
Σ	matrixops	function, Natset × Nat → Elem → Elem
ε	hilbert-choice	function, Elem → Bool → Elem
ε	real-limit	variable, Real
μ	monotone-set-fixpoint	partial function, (Elem → Bool) → Elem → Bool → Elem → Bool
ν	monotone-set-fixpoint	partial function, (Elem → Bool) → Elem → Bool → Elem → Bool
σ	stream-of-streams	variable, Stream
σ	stream-basic	variable, Stream
σ	infinite-append	variable, Stream
σ	stream	variable, Stream
σ	inf-app-list	variable, Stream
σ	mon-lim-filter-count	variable, Stream
σ	streamseq-mon-lim	variable, Stream
σf	mon-lim-filter-count	variable, Nat → Stream
σσ	streamseq-mon-lim	variable, Streamstream
χ	infset-basic	function, Set → Elem → Bool
∅	approx-fixpoint	predicate, Elem
∅	set-basic	constant, Set
∅	bag-basic	constant, Bag
∅	infset-basic	constant, Set
∅	store	constant, Map
∅	natset	constant, Natset
∅	linheap	constant, Heap
∈	stream-of-streams	predicate, Stream × Streamlist
∈	list	predicate, Elem × List
∈	assoclist	predicate, Elem × Assoclist
∈	assoclist	predicate, Pair × Assoclist
∈	string	predicate, Char × String
∈	array-revin	predicate, Elem × Array
∈	set-basic	predicate, Elem × Set
∈	natstream	predicate, Nat × Natlist
∈	infset-basic	predicate, Elem × Set
∈	store	predicate, Elem × Map
∈	list-as-arrayinstance	predicate, Elem × Array
∈	bag-union	predicate, Elem × Bag
∈	natset	predicate, Nat × Natset
∈	reflist	predicate, Ref × Reflist
∈	linheap	predicate, Ref × Heap
∈	store+set	predicate, Data × Map
∞	int-inf-basic	constant, Intinf
∞	nat-inf	constant, Natinf
∩	set-union	function, Set × Set → Set
∩	infset-union	function, Set × Set → Set
∩	natset	function, Natset × Natset → Natset
∪	set-union	function, Set × Set → Set
∪	list-as-arrayinstance	function, Array × Array → Array
∪	bag-union	function, Bag × Bag → Bag
∪	infset-union	function, Set × Set → Set
∪	natset	function, Natset × Natset → Natset
∪	list-set	function, List × List → List
∪	reflist	function, Reflist × Reflist → Reflist
≡	list-setequal	predicate, List × List
≤	int-abs	predicate, Int × Int
≤	nat	predicate, Nat × Nat
≤	real-supinf	predicate, Real × Real → Bool
≤	real-supinf	predicate, Real → Bool × Real
≤	real-abs	predicate, Real × Real
≥	int-abs	predicate, Int × Int
≥	nat	predicate, Nat × Nat
≥	real-abs	predicate, Real × Real
≪	wellfounded	predicate, Elem × Elem
≪1	lexical-param	predicate, Elem1 × Elem1
≪2	lexical-param	predicate, Elem2 × Elem2
⊆	set-basic	predicate, Set × Set
⊆	infset-basic	predicate, Set × Set
⊆	store	predicate, Map × Map
⊆	monotone-set-fixpoint	predicate, Elem → Bool × Elem → Bool
⊆	list-as-arrayinstance	predicate, Array × Array
⊆	bag-union	predicate, Bag × Bag
⊆	natset	predicate, Natset × Natset
⊆	list-set	predicate, List × List
⊆	reflist	predicate, Reflist × Reflist
⊆	linheap	predicate, Heap × Heap
⊆m	list-perm	predicate, List × List
⊆m	list-as-arrayinstance	predicate, Array × Array
⊏	string	predicate, String × String
⊑	stream-of-streams	predicate, Streamstream × Streamstream
⊑	stream-of-streams	predicate, Streamlist × Streamlist
⊑	assoclist	predicate, Assoclist × Assoclist
⊑	stream	predicate, Stream × Stream
⊑	string	predicate, String × String
⊑	list-last	predicate, List × List
⊑	natstream	predicate, Natstream × Natstream
⊑	natstream	predicate, Natlist × Natlist
⊑	list-as-arrayinstance	predicate, Array × Array
⊑	reflist	predicate, Reflist × Reflist
⊒	stream-of-streams	predicate, Streamlist × Streamlist
⊒	assoclist	predicate, Assoclist × Assoclist
⊒	string	predicate, String × String
⊒	list-last	predicate, List × List
⊒	natstream	predicate, Natlist × Natlist
⊒	list-as-arrayinstance	predicate, Array × Array
⊒	reflist	predicate, Reflist × Reflist
⊕	store+set	function, Map × Map → Map
⌉	real-floor-ceil	function, Real → Int
⌋	real-floor-ceil	function, Real → Int
⌝	stream-of-streams	function, Nat → Stream → Streamstream
⌝	stream-of-streams	function, Streamlist → Streamstream
⌝	int-inf-basic	function, Int → Intinf
⌝	nat-inf	function, Nat → Natinf
⌝	stream-basic	function, Nat → Elem → Stream
⌝	stream-basic	function, List → Stream
⌝	natstream	function, Nat → Nat → Natstream
⌝	natstream	function, Natlist → Natstream