type 'a lazy_list
= 'a t
type 'a t
val create : 'a lazy_list ‑> 'a t
val next : 'a t ‑> 'a option
val iter : 'a t ‑> f:('a ‑> unit) ‑> unit