law adj_onb

minebender-game@1.0.0.0 · proof_solver.bend:1616

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

1616law adj_onb:
1617  for +w: Nat
1618  for +h: Nat
1619  for +s: T.Pos
1620  for +ns: List<&2, T.Pos>
1621  for +a: {PS.allp(~PS.WHS, ~PS.adj_on, PS.WHS{w, h, s}, ns) == True{} : Bool}
1622  {PS.allp(~PS.WH, ~PS.onb, PS.WH{w, h}, ns) == True{} : Bool}