This file implements streams as linked lists with lazy tails (cf. the lazy module). In a Typescript-like description :

type Nil = {}
type Stream<A> = Nil | Pair<A, Lazy<Stream<A>>>

Not that these streams are either empty or always have their head that is evaluated.

Index

Variables

Functions