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