Module type Priority.Val_Check

Input signature of the functor Priority.Make.

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.