Sbrs (bigraph.Bigraph.Sbrs)

J. Krivine, R. Milner, and A. Troina. Stochastic Bigraphs, Electronic Notes in Theoretical Computer Science, Volume 218, 2008.
B. Archibald, M. Calder, and M. Sevegnani. Probabilistic Bigraphs, ACM Formal Aspects of Computing Journal, Volume 34, Issue 2, 2022.

module type T = sig ... end

Output signature of the functor Sbrs.Make.

module Make (_ : Solver.M) : sig ... end

Functor building a concrete implementation of a stochastic BRS given a matching engine.