law around_onb

minebender-game@1.0.0.0 · proof_solver.bend:1713

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

1713law around_onb:
1714  for +e: PS.WH
1715  for +its: List<&2, S.Item>
1716  for +c: T.Pos
1717  for +ok: {items_onb(e, its) == True{} : Bool}
1718  {items_onb(e, S.around(its, c)) == True{} : Bool}