def flags_among

minebender-game@1.0.0.0 · LAWS.bend:254

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

254# How many cells of qs are flagged.
255def flags_among(+g: G.Game, qs: List<&2, T.Pos>) -> Nat:
256  match qs:
257    case Nil{}:
258      0n
259    case q <> t:
260      Nat.add(Bool.pick(Nat, G.flagged(g, q), 1n, 0n), flags_among(g, t))