module Writer: sig .. end
sig
end
type phantom
type 'a t = ('a, phantom) Pipe.pipe
'a
('a, phantom) Pipe.pipe
val invariant : 'a t -> unit
'a t -> unit
val sexp_of_t : ('a -> Sexplib.Sexp.t) -> 'a t -> Sexplib.Sexp.t
('a -> Sexplib.Sexp.t) -> 'a t -> Sexplib.Sexp.t