def flags_among

minebender-game@1.0.0.0 · game.bend:308

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

308def flags_among(+g: Game, qs: List<&2, T.Pos>) -> Nat:
309  match qs:
310    case Nil{}:
311      0n
312    case q <> t:
313      Nat.add(Bool.pick(Nat, flagged(g, q), 1n, 0n), flags_among(g, t))