Module Cf_pqueue

module Cf_pqueue: 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.