let
nil
=
ref
Nil
let
cons
x
t
: '
a
stream
=
ref
(
Cons
(
x
,
t
))
let
freeze
f
: '
a
stream
=
ref
(
Frozen
f
);;