def flag_s.go

minebender-game@1.0.0.0 · PROOF.bend:202

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

202def flag_s.go(+b: Bool, +g: G.Game, +p: T.Pos) ->
203  {G.status(G.flag.go(b, g, p)) == G.status(g) : T.Status}:
204  match b:
205    case False{}:
206      {==}
207    case True{}:
208      match g:
209        case G.Game{w, h, layout, shown, flags, status}:
210          {==}