law tok_append

minebender-game@1.0.0.0 · proof_solver.bend:1786

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

1786law tok_append:
1787  for +xs: List<&2, S.Todo>
1788  for +ys: List<&2, S.Todo>
1789  for +layout: T.Grid(Bool)
1790  for +a: {todos_ok(xs, layout) == True{} : Bool}
1791  for b: {todos_ok(ys, layout) == True{} : Bool}
1792  {todos_ok(List.append(&2, S.Todo, xs, ys), layout) == True{} : Bool}