(*generated by m3build*)

MODULE AtomPQ = PQueue (Atom) END AtomPQ.