Game.step: def of minebender-game@1.0.0.0
Import: import minebender-game@1.0.0.0/game.bend as Game
Lines 488-497 of minebender-game@1.0.0.0/game.bend: https://jend.leeeet.dev/read.txt?path=minebender-game@1.0.0.0/game.bend&start_line=488&end_line=497

import Base
import minebender-game@1.0.0.0/types.bend as T

def step(+g: Game, a: T.Action) -> Game:
  match a:
    case T.Reveal{p}:
      reveal(g, p)
    case T.Chord{p}:
      chord_play(chord_targets(g, p), g)
    case T.Flag{p}:
      flag(g, p)
    case T.Assist{k}:
      assist(g, k)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=minebender-game@1.0.0.0/game.bend&name=Game
  https://jend.leeeet.dev/definition.txt?path=minebender-game@1.0.0.0/game.bend&name=assist
  https://jend.leeeet.dev/definition.txt?path=minebender-game@1.0.0.0/game.bend&name=chord_play
  https://jend.leeeet.dev/definition.txt?path=minebender-game@1.0.0.0/game.bend&name=chord_targets
  https://jend.leeeet.dev/definition.txt?path=minebender-game@1.0.0.0/game.bend&name=flag
  https://jend.leeeet.dev/definition.txt?path=minebender-game@1.0.0.0/game.bend&name=reveal
  https://jend.leeeet.dev/definition.txt?path=minebender-game@1.0.0.0/types.bend&name=Action