def tile_lost

minebender-game@1.0.0.0 · game.bend:521

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

521def tile_lost(m: Bool, f: Bool) -> T.Tile:
522  match m f:
523    case True{} True{}:
524      T.Flagged{}
525    case True{} False{}:
526      T.Mine{}
527    case False{} True{}:
528      T.BadFlag{}
529    case False{} False{}:
530      T.Covered{}