(* $Id$ *) Dagstuhl = Stream + consts y :: "'a" YS :: "'a stream" YYS :: "'a stream" defs YS_def "YS == fix$(LAM x. y && x)" YYS_def "YYS == fix$(LAM z. y && y && z)" end