law flags_hidden_

minebender-game@1.0.0.0 · proof_laws.bend:350

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

350law flags_hidden_:
351  for +g: G.Game
352  for +q: T.Pos
353  for flag: {G.flagged(g, q) == True{} : Bool}
354  {L.hidden(G.knowledge(g), q) == True{} : Bool}