law hidden_pick

minebender-game@1.0.0.0 · proof_grid.bend:115

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

115law hidden_pick:
116  for +c: Bool
117  for +m: Bool
118  for +w: Nat
119  for +h: Nat
120  for +layout: T.Grid(Bool)
121  for +p: T.Pos
122  {L.is_hidden(G.seen_pick(c, m, w, h, layout, p)) == Bool.not(c) : Bool}