def chord_targets.pick

minebender-game@1.0.0.0 · LAWS.bend:270

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

270def chord_targets.pick(+g: G.Game, v: T.Knowledge, +ns: List<&2, T.Pos>, s: T.Seen) ->
271  List<&2, T.Pos>:
272  match s:
273    case T.Shown{k}:
274      Bool.pick(List<&2, T.Pos>, Nat.is_eq(flags_among(g, ns), k),
275        hidden_unflagged(g, v, ns), Nil{})
276    case o:
277      Nil{}