Game.flags_among: def of minebender-game@1.0.0.0
Import: import minebender-game@1.0.0.0/game.bend as Game
Lines 308-313 of minebender-game@1.0.0.0/game.bend: https://jend.leeeet.dev/read.txt?path=minebender-game@1.0.0.0/game.bend&start_line=308&end_line=313

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

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

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add
  https://jend.leeeet.dev/definition.txt?path=minebender-game@1.0.0.0/game.bend&name=Game
  https://jend.leeeet.dev/definition.txt?path=minebender-game@1.0.0.0/game.bend&name=flagged
  https://jend.leeeet.dev/definition.txt?path=minebender-game@1.0.0.0/types.bend&name=Pos