Game.mark.why: def of minebender-game@1.0.0.0 Import: import minebender-game@1.0.0.0/game.bend as Game Lines 506-511 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=506&end_line=511 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 mark.why(why: T.Loss, +p: T.Pos) -> Maybe<&2, T.Tile>: match why: case T.Exploded{e}: Bool.pick(Maybe<&2, T.Tile>, B.same(e, p), Some{T.Blast{}}, None{}) case T.AssistTooEarly{s}: Bool.pick(Maybe<&2, T.Tile>, B.same(s, p), Some{T.Hint{}}, None{}) Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=minebender-game@1.0.0.0/board.bend&name=same https://jend.leeeet.dev/definition.txt?path=minebender-game@1.0.0.0/types.bend&name=Loss https://jend.leeeet.dev/definition.txt?path=minebender-game@1.0.0.0/types.bend&name=Pos https://jend.leeeet.dev/definition.txt?path=minebender-game@1.0.0.0/types.bend&name=Tile