def any_shown

minebender-game@1.0.0.0 · game.bend:422

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

422def any_shown(+shown: T.Grid(Bool), ps: List<&2, T.Pos>) -> Bool:
423  match ps:
424    case Nil{}:
425      False{}
426    case p <> t:
427      B.at(Bool, False{}, shown, p) || any_shown(shown, t)