val add_channel : Core_kernel.Bigbuffer.t -> Core.In_channel.t -> int -> unit
add_channel b ic n
reads exactly n
characters from the input channel ic
and stores them at the end of buffer b
. Raises End_of_file
if the channel contains fewer than n
characters.
val output_buffer : Core.Out_channel.t -> Core_kernel.Bigbuffer.t -> unit
output_buffer oc b
writes the current contents of buffer b
on the output channel oc
.
val md5 : Core_kernel.Bigbuffer.t -> Core.Md5.t
Digest the current contents of the buffer.