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

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

def fresh(+w: Nat, +h: Nat, +layout: T.Grid(Bool)) -> Game:
  +shown = B.blank(Bool, w, h, False{})
  Game{w, h, layout, shown, Nil{}, won_or_playing(all_safe(w, h, layout, shown))}

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=minebender-game@1.0.0.0/board.bend&name=blank
  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=all_safe
  https://jend.leeeet.dev/definition.txt?path=minebender-game@1.0.0.0/game.bend&name=won_or_playing
  https://jend.leeeet.dev/definition.txt?path=minebender-game@1.0.0.0/types.bend&name=Grid