okeuday/pqueue — pull request #8 by yamt (2012-08-27 09:13:52+00:00)
Title: fix pqueue2:is_empty/1

if is_empty being O(1) is important, an alternative fix would be to
have out/2 to normalize empty queues.