def flag_k.go

minebender-game@1.0.0.0 · PROOF.bend:192

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

192def flag_k.go(+b: Bool, +g: G.Game, +p: T.Pos) ->
193  {G.knowledge(G.flag.go(b, g, p)) == G.knowledge(g) : T.Knowledge}:
194  match b:
195    case False{}:
196      {==}
197    case True{}:
198      match g:
199        case G.Game{w, h, layout, shown, flags, status}:
200          {==}