class read_in_record_channel :repr:text_data_repr -> Netchannels.in_obj_channel ->
in_record_channel
Provides an in_record_channel
that takes newline characters as
EOR representation.
In this implementation, input_line
can be used to read the full
contents of a record (=line). However, input_line
does not
switch to the next record.
repr
: Determines the newline character to use