(*generated by m3build*)

MODULE RefPQ = PQueue (Refany) END RefPQ.