Module `Bigraph.Priority`

module type Val_Check = sig ... end: Input signature of the functor Priority.Make.

module type P = sig ... end: Output signature fo the functor Priority.Make.

module Make : functor (S : Solver.M) -> functor (R : React.T) -> functor (V : Val_Check with type t := R.t list) -> P with type r_t := R.t and type r_label := R.label: Functor building a concrete implementation of priority classes.