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