Bigraph.Ts
Functorial implementation of transition systems.
module type T = Ts_intf.T
module type S = Ts_intf.S
module Make (R : sig ... end) : T with type label = R.label