a.keiro

language keiro-dsl 4
context demo-project

id ProjectId prefix=proj

aggregate Project
  regs
    projectId ProjectId = placeholder
  states Pending Done!

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

  Pending -- DoThing -->
    emit ThingCompleted
    goto Done

  wire kind=ctorName fields=camelCase schemaVersion=1