This signature is here to remind us to update the unit tests whenever we change Flat_queue.
include module type of Flat_queue