Module Thread_pool.Priority

module Priority: module type of Linux_ext.Priority  with type t = Linux_ext.Priority.t