type 'a stream = 'a head Stdlib.Lazy.t
val length : 'a stream -> int
val foldr : ('a -> 'b -> 'b) -> 'a stream -> 'b -> 'b
MenhirLib.General
type 'a stream = 'a head Stdlib.Lazy.t
val length : 'a stream -> int
val foldr : ('a -> 'b -> 'b) -> 'a stream -> 'b -> 'b