def plan_k

minebender-game@1.0.0.0 · proof_solver.bend:2640

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

2640def plan_k(+c: T.Pos, +w: Nat, +n: Nat, +ts: List<&2, S.Todo>) -> Nat:
2641  S.spin(c, w, n, List.length(&2, S.Todo, S.fars(ts)))