sig
  type priority
  val scheduler : Duppy.Monad.Mutex.Mutex_control.priority Duppy.scheduler
  val priority : Duppy.Monad.Mutex.Mutex_control.priority
end