1
(* $Id$ *)
2
3
4
Dagstuhl = Stream2 +
5
6
consts
7
YS :: "'a stream"
8
YYS :: "'a stream"
9
10
rules
11
12
YS_def "YS = fix[LAM x. scons[y][x]]"
13
YYS_def "YYS = fix[LAM z. scons[y][scons[y][z]]]"
14
15
end
16