a.keiro

language keiro-dsl 4
context demo-project

id AlphaId prefix=alp

aggregate Alpha
  regs
    alphaId AlphaId = placeholder
  states Pending Done!

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

  Pending -- DoThing -->
    emit ThingCompleted
    goto Done

  wire kind=ctorName fields=camelCase schemaVersion=1