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