def all_safe_revealed.go

minebender-game@1.0.0.0 · LAWS.bend:187

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

187# Every safe cell of the board is revealed.
188def all_safe_revealed.go(+v: T.Knowledge, +layout: T.Grid(Bool), ps: List<&2, T.Pos>) -> Bool:
189  match ps:
190    case Nil{}:
191      True{}
192    case +p <> t:
193      (mine(layout, p) || revealed(v, p)) && all_safe_revealed.go(v, layout, t)