keiro-dsl-0.15.0.0: test/fixtures/aggregate-field-alias.keiro

language keiro-dsl 4
context field-alias

aggregate FieldAliasProof
  regs
  states Open

  command Observe {
    family:Text
    type haskell payloadType:Text
    region haskell serviceRegion as "region_code":Text
  }
  event FieldsCopied = fields(Observe)
  Open -- Observe --> emit FieldsCopied ; goto Open

  wire kind=ctorName fields=camelCase schemaVersion=1