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