law todos_ok_all

minebender-game@1.0.0.0 · proof_solver.bend:1730

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

1730law todos_ok_all:
1731  for +its: List<&2, S.Item>
1732  for +cs: List<&2, T.Pos>
1733  for +layout: T.Grid(Bool)
1734  for +ok: {S.items_ok(its, layout) == True{} : Bool}
1735  {todos_ok(S.todos(its, cs), layout) == True{} : Bool}