def chord_play

minebender-game@1.0.0.0 · game.bend:357

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

357def chord_play(ts: List<&2, T.Pos>, g: Game) -> Game:
358  match ts:
359    case Nil{}:
360      g
361    case q <> t:
362      chord_play(t, reveal(g, q))