libm3/derived/IntPQ.m3
generated by m3build
MODULE
IntPQ
=
PQueue
(
Integer
,
IntPQ
,
IntPQRep
) END IntPQ.