Module Bigraph.React

module type R = sig ... end

Input signature of the functor React.Make.

module type T = sig ... end

Output signature of the functor React.Make.

module Make : functor (S : Solver.M) -> functor (AC : AppCond.C) -> functor (R : R with type ac = AppCond.t) -> T with type t = R.t and type label = R.label and type ac = R.ac

Functor building a concrete implementation of basic operations on rewrite rules.