class type enhanced_raw_in_channel = object .. end
Defines private methods reading text line by line
Inherits
method private enhanced_input_line : unit -> string
An improved implementation of input_line that uses the buffer
method private enhanced_input : string -> int -> int -> input_result
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.
