Module Bigraph.Brs

Operations on BRSs.

module type T = sig ... end

Output signature of the functor Brs.Make.

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

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