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