law tall_append

minebender-game@1.0.0.0 · proof_speed.bend:255

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

255law tall_append:
256  for ~E: Data
257  for ~f: E -> S.Todo -> Bool
258  for +e: E
259  for +xs: List<&2, S.Todo>
260  for +ys: List<&2, S.Todo>
261  for +a: {tall(~E, ~f, e, xs) == True{} : Bool}
262  for b: {tall(~E, ~f, e, ys) == True{} : Bool}
263  {tall(~E, ~f, e, List.append(&2, S.Todo, xs, ys)) == True{} : Bool}