~/jendhub

def lose

minebender-game@1.0.0.0 · game.bend:456

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

456def lose(g: Game, p: T.Pos) -> Game:
457  match g:
458    case Game{w, h, layout, shown, flags, status}:
459      Game{w, h, layout, shown, flags, T.Lost{T.AssistTooEarly{p}}}

Uses (4)

Used by (1)