sig
  type 'a t = 'a Tail.t
  val create : unit -> 'a t
  val extend : 'a t -> 'a -> unit
  val close_exn : 'a t -> unit
  val close_if_open : 'a t -> unit
  val is_closed : 'a t -> bool
  module Stream :
    sig
      type 'a t = 'a Tail.Stream.t
      type 'a next = 'a Tail.Stream.next = Nil | Cons of 'a * 'a t
      val next : 'a t -> 'a next Deferred.t
      val sexp_of_t : ('a -> Sexplib.Sexp.t) -> 'a t -> Sexplib.Sexp.t
    end
  val collect : 'a t -> 'a Stream.t
  val sexp_of_t : ('a -> Sexplib.Sexp.t) -> 'a t -> Sexplib.Sexp.t
end