keiro-dsl-0.15.0.0: test/frontend-0.7/sources/feature-explicit-implementation-v1.keiro

language keiro-dsl 1
context feature
aggregate Counter
  regs
  states Open
  command Tick { }
  Open -- Tick -->
    implementation hole
    goto Open