Module Pipe.Writer

type phantom
type 'a t = ('a, phantom) pipe
val sexp_of_t : ('a -> Ppx_sexp_conv_lib.Sexp.t) -> 'a t -> Ppx_sexp_conv_lib.Sexp.t
val invariant : _ t -> unit