Iobuf.Blit_consumeBlit_consume copies between iobufs and advances src but does not advance dst.
val blit :
src:
([> Core.read ], Iobuf__.Iobuf_type_intf.Definitions.no_seek, _) t @ local ->
(dst:([> Core.write ], _, _) t @ local ->
(dst_pos:int ->
(len:int ->
unit) @ local) @ local) @ localval blito :
src:
([> Core.read ], Iobuf__.Iobuf_type_intf.Definitions.no_seek, _) t @ local ->
(?src_len:int ->
(dst:([> Core.write ], _, _) t @ local ->
(?dst_pos:int ->
(unit ->
unit) @ local) @ local) @ local) @ localval unsafe_blit :
src:
([> Core.read ], Iobuf__.Iobuf_type_intf.Definitions.no_seek, _) t @ local ->
(dst:([> Core.write ], _, _) t @ local ->
(dst_pos:int ->
(len:int ->
unit) @ local) @ local) @ localval blit_maximal :
src:
([> Core.read ], Iobuf__.Iobuf_type_intf.Definitions.no_seek, _) t @ local ->
(dst:([> Core.write ], _, _) t @ local ->
(?dst_pos:int ->
(unit ->
int) @ local) @ local) @ local