Module Cf_sbheap.PQueue

Interfaces to persistent functional priority queue data structures.

module type Profile = sig ... end

The module type of functional persistent priority queues.

module Create (K : Cf_relations.Order) : Profile with type priority := K.t

A functor to create a PQueue module.