mentor/derived/RealPQ.m3
generated by m3build
MODULE
RealPQ
=
PQueue
(
MyReal
,
RealPQ
,
RealPQRep
) END RealPQ.