def fresh

minebender-game@1.0.0.0 · game.bend:93

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

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