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