def plan_list

minebender-game@1.0.0.0 · proof_solver.bend:2643

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

2643def plan_list(+c: T.Pos, +w: Nat, +h: Nat, +n: Nat, +ts: List<&2, S.Todo>) -> List<&2, S.Todo>:
2644  List.append(&2, S.Todo, S.gather(plan_qs(c, w, h, ts), S.nears(ts)),
2645    List.append(&2, S.Todo, S.rot(S.fars(ts), plan_k(c, w, n, ts)), S.order(ts)))