module Cf_pqueue: sig .. end
sig
end
A module type for functional priority queue implementations.
module type T = sig .. end
This module defines the common interface to functional priority queues in the Cf library.
Cf