module Stream: Raw_stream
module Deferred: Raw_deferred
type('a, 'execution_context)
t =(('a, 'execution_context) next, 'execution_context)
Deferred.t
type ('a, 'execution_context)
next =
| |
Nil |
| |
Cons of |
val next : 'a -> 'a
val sexp_of_t : ('a -> Core.Std.Sexp.t) ->
'b -> (('a, 'c) next, 'c) Deferred.t -> Core.Std.Sexp.t