Ex4pmDomain.Extensions.SoundStateMachine (ex4pm v26.9.9)

Copy Markdown View Source

Spark DSL Extension enforcing mathematical 1-Safe Soundness on Ash State Machine Resources.