package core_kernel
Module Iobuf.ConsumeSource
Consume.string t ~len reads len characters (all, by default) from t into a new string and advances the lower bound of the window accordingly.
Consume.bin_prot X.bin_read_t t returns the initial X.t in t, advancing past the bytes read.
To_bytes.blito ~src ~dst ~dst_pos ~src_len () reads src_len bytes from src, advancing src's window accordingly, and writes them into dst starting at dst_pos. By default dst_pos = 0 and src_len = length src. It is an error if dst_pos and src_len don't specify a valid region of dst or if src_len > length src.