let
is_empty p =
Queue
.is_empty p.lines
&&
p.unfinished_line =
None