functor
(
PQ
:
PQ
)
->
sig
val
sort : (
'
a
->
'
a
->
int)
->
'
a list
->
'
a list
end