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