(*generated by m3build*)

MODULE IntPQ = PQueue (Integer) END IntPQ.