Stateful.Concurrent_state_machine
A state machine whose rules may run concurrently. ctx is the concurrency context its rules take.
ctx
type ctx
type state
val rules : (ctx, state) Concurrent_rule.t list
val invariants : state Invariant.t list