def hidden_unflagged

minebender-game@1.0.0.0 · game.bend:332

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

332def hidden_unflagged(+g: Game, +v: T.Knowledge, qs: List<&2, T.Pos>) -> List<&2, T.Pos>:
333  match qs:
334    case Nil{}:
335      Nil{}
336    case +q <> t:
337      List.filter.put(T.Pos, q, hidden_unflagged(g, v, t),
338        hidden(v, q) && Bool.not(flagged(g, q)))

Uses (9)

Used by (3)