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