React_intf (bigraph.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 type MAKER =
  functor (_ : Solver.M) ->
  functor (R : R) ->
  T with type t = R.t and type label = R.label

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

module type Intf = sig ... end