class buffered_raw_in_channel :
?eol:string list -> ?buffer_size:int -> ?pass_through:int -> raw_in_channel ->
This class adds a buffer to the underlying
As additional feature, the method
enhanced_input_line is a fast
input_line that profits from the buffer.
eol: The accepted end-of-line delimiters. The method
enhanced_input_linerecognizes any of the passed strings as EOL delimiters. When more than one delimiter matches, the longest is taken. Defaults to
["\n"]. Note that
input_linealways only recognizes
"\n"as EOL character, this cannot be changed. The delimiter strings must neither be empty, nor longer than
buffer_size: The size of the buffer, by default 4096.
pass_through: If the read request has at least this size, and the buffer is currently empty, the buffer will be bypassed. Defaults to
max_int, i.e. it is off.