libm3/derived/RefPQ.m3
generated by m3build
MODULE
RefPQ
=
PQueue
(
Refany
,
RefPQ
,
RefPQRep
) END RefPQ.