def head_hidden

minebender-game@1.0.0.0 · game.bend:215

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

215# The first cell of `work` is on the board and not revealed yet.
216def head_hidden(+w: Nat, +h: Nat, shown: T.Grid(Bool), work: List<&2, Work>) -> Bool:
217  match work:
218    case Nil{}:
219      False{}
220    case Work{c, back} <> t:
221      unrevealed(w, h, shown, c)