Priority.t
is what is usually referred to as the "nice" value of a process. It is
also known as the "dynamic" priority. It is used with normal (as opposed to
real-time) processes that have static priority zero. See Unix.Scheduler.set
for
setting the static priority.