557
561
The last line in the text may not terminate with a newline. *)
563
564
(** In this context, a line is not structured, it's a flatten string. *)
566
571
(** Convert a string list in a raw text.
567
572
Each string in the input list is treated by the function [ensure_cr_at_end] in order to
568
573
add a newline if needed, then the list is folded by a simple catenation ([^]).