keiro-dsl-0.15.0.0: test/fixtures/aggregate-collection-expressions-v2-rejects.keiro

language keiro-dsl 2
context aggregate-collection-expressions

aggregate CollectionAccount
  regs
    active Bool = False
  states Open Closed!
  command Close { active:Bool }
  event ClosedEvent = fields(Close)
  Open -- Close -->
    guard any([cmd.active])
    emit ClosedEvent
    goto Closed