Bigraph.React
Bigraphical reaction rules.
module type R = React_intf.R
module type T = React_intf.T
module type MAKER = React_intf.MAKER
module Make : MAKER