keiro-dsl-0.15.0.0: test/frontend-0.7/sources/feature-typed-expression-v1.keiro

language keiro-dsl 1
context feature
aggregate Counter
  regs
    value Int = 0
  states Open
  command Tick { amount:Int }
  Open -- Tick -->
    guard reg.value == cmd.amount
    goto Open