Module
OgamlUtils.PriorityQueue.
Priority
Priorities used by a queue
This module encapsulates the priorities used by a queue
type t
Type of a priority
val compare : t -> t -> int
Comparison of priorities