def tall_put

minebender-game@1.0.0.0 · proof_speed.bend:246

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

246def tall_put(~E: Data, ~f: E -> S.Todo -> Bool, +e: E, +b: Bool, +t: S.Todo, +rest: List<&2, S.Todo>,
247  a: {f(e, t) == True{} : Bool}, r: {tall(~E, ~f, e, rest) == True{} : Bool}) ->
248  {tall(~E, ~f, e, List.filter.put(S.Todo, t, rest, b)) == True{} : Bool}:
249  match b:
250    case False{}:
251      r
252    case True{}:
253      tall_cons(~E, ~f, e, t, rest, a, r)