let
is_empty p =
Queue
.is_empty p.records