val write : 'a t ‑> buf:Core_kernel.Bigstring.t ‑> pos:int ‑> len:int ‑> unit Async_kernel.Deferred.t
val write_without_pushback : 'a t ‑> buf:Core_kernel.Bigstring.t ‑> pos:int ‑> len:int ‑> unit