def mark_ok.why

minebender-game@1.0.0.0 · proof_display.bend:243

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

243def mark_ok.why(+why: T.Loss, +p: T.Pos) ->
244  {Maybe.default(&2, Bool, Maybe.map(&2, T.Tile, Bool, t => L.is_covered(t), G.mark.why(why, p)), False{}) == False{} : Bool}:
245  match why:
246    case T.Exploded{e}:
247      mark_ok.pick(B.same(e, p), T.Blast{}, {==})
248    case T.AssistTooEarly{s}:
249      mark_ok.pick(B.same(s, p), T.Hint{}, {==})