module Make : functor (P : Priority) -> Q with type priority = P.t
Priority queue functor
Module OgamlUtils.PriorityQueue
Priority queue data structureSignatures
| Q | Type of PriorityQueue.Make |
| Priority | Priorities used by a queue |
This module provides a functor for creating priority queues