Buffer used to parse strings into lines.
val make : ?filename:string -> unit -> tMake a new empty buffer. The optional filename is used only for error reporting; it should be set to the name of the file, if any, from which you will feed the buffer.
val feed_string : t -> string -> unitFeed the parser with an arbitrary string buffer.
val queued_lines : t -> intGet the number of lines ready-to-use in the buffer/queue.
val is_empty : t -> boolTell if the parser's buffers are empty or not. For instance, when there is no more content to feed and next_line returns None, is_empty p = true means that the content did not end with a complete line.
Get the next line, but throw No_next_line if there is no line to return.
Return any remaining lines and the unfinished string, without removing them from the buffer.
val empty : t -> unitEmpty the buffer. Subsequent call to contents will return ([], None).