Module Bigraph.Priority

Priority classes over reaction rules.

module type Val_Check = sig ... end

Input signature of the functor Make.

module type P = sig ... end

Output signature for the functor Make.

module Make (R : React.T) (_ : 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.