Class Netchannels.buffered_raw_in_channel

This class adds a buffer to the underlying raw_in_channel. * As additional feature, the method enhanced_input_line is a fast * version of input_line that profits from the buffer. * *

method private enhanced_input_line : unit -> string

An improved implementation of input_line that uses the buffer

method private enhanced_input : Stdlib.Bytes.t -> int -> int -> input_result

An improved implementation of input_line that uses the buffer

Works similar to input, but distinguishes between normal data * and end-of-line separators. The latter are returned as * `Separator s. When normal data is found, it is copied to the * string, and `Data n is returned to indicate that n bytes * were copied.