law around_ok

minebender-game@1.0.0.0 · proof_solver.bend:1684

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

1684law around_ok:
1685  for +its: List<&2, S.Item>
1686  for +c: T.Pos
1687  for +layout: T.Grid(Bool)
1688  for +ok: {S.items_ok(its, layout) == True{} : Bool}
1689  {S.items_ok(S.around(its, c), layout) == True{} : Bool}