Game.setup: def of minebender-game@1.0.0.0
Import: import minebender-game@1.0.0.0/game.bend as Game
Lines 105-114 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=105&end_line=114

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

def setup(l: T.Level) -> T.Setup:
  match l:
    case T.Beginner{}:
      T.Setup{9n, 9n, 10n}
    case T.Intermediate{}:
      T.Setup{16n, 16n, 40n}
    case T.Expert{}:
      T.Setup{30n, 16n, 99n}
    case T.Custom{w, h, m}:
      custom(w, h, m)

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=minebender-game@1.0.0.0/game.bend&name=custom
  https://jend.leeeet.dev/definition.txt?path=minebender-game@1.0.0.0/types.bend&name=Level
  https://jend.leeeet.dev/definition.txt?path=minebender-game@1.0.0.0/types.bend&name=Setup