law hid_on

minebender-game@1.0.0.0 · proof_solver.bend:2439

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/LAWS.bend as L

2439law hid_on:
2440  for +w: Nat
2441  for +h: Nat
2442  for +n: Nat
2443  for +rows: T.Grid(T.Seen)
2444  for +p: T.Pos
2445  for hid: {L.hidden(T.Knowledge{w, h, n, rows}, p) == True{} : Bool}
2446  {B.on_board(w, h, p) == True{} : Bool}