def hidden_unflagged

minebender-game@1.0.0.0 · LAWS.bend:262

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

262def hidden_unflagged(+g: G.Game, +v: T.Knowledge, qs: List<&2, T.Pos>) -> List<&2, T.Pos>:
263  match qs:
264    case Nil{}:
265      Nil{}
266    case +q <> t:
267      List.filter.put(T.Pos, q, hidden_unflagged(g, v, t),
268        hidden(v, q) && Bool.not(G.flagged(g, q)))