keiro-dsl-0.15.0.0: test/fixtures/workspace-authority-conflict/domain/b.keiro

language keiro-dsl 4
context demo-project
layout prefixed

id BetaId prefix=bet

aggregate Beta
  regs
    betaId BetaId = placeholder
  states Pending Done!

  command DoThing { betaId attempt:Int }
  event ThingCompleted { betaId attempt:Int }

  Pending -- DoThing -->
    emit ThingCompleted
    goto Done

  wire kind=ctorName fields=camelCase schemaVersion=1