functor
  (Src : sig
           type t
           val length : Writer0.t -> int
           val blit_to_bigstring :
             (Writer0.t, Core.Std.Bigstring.t) Core.Std.Blit.blito
         end) ->
  sig val write : ?pos:int -> ?len:int -> Writer0.t -> Src.t -> unit end