type 'a t
include sig ... end
val sexp_of_t : ('a ‑> Base.Sexp.t) ‑> 'a t ‑> Base.Sexp.t
type 'a next
=
|
Nil
Cons of 'a * 'a t
val next : 'a t ‑> 'a next Deferred.t