libm3/derived/AtomPQ.m3
generated by m3build
MODULE
AtomPQ
=
PQueue
(
Atom
,
AtomPQ
,
AtomPQRep
) END AtomPQ.