Internals.Line_buffer
SourceA line buffer is a variant of Stdlib.Buffer
that supports skipping some section of the underlying bytestring when doing a write pass.
with_ppf buf f
gives a view of buf
as a formatter to f
(and then flushes the formatter to buf
).
Reset the write head to the start of the buffer and return a copy of the intervening contents.