Make.3-V
type t
The type of a priority class.
val f_val : t -> bool
Predicate to check the validity of a priority class.
val f_r_val : t -> bool
Predicate to check the validity of a reducible priority class.