Solver.todo_c: def of minebender-game@1.0.0.0
Import: import minebender-game@1.0.0.0/solver.bend as Solver
Lines 352-355 of minebender-game@1.0.0.0/solver.bend: https://jend.leeeet.dev/read.txt?path=minebender-game@1.0.0.0/solver.bend&start_line=352&end_line=355

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

def todo_c(t: Todo) -> T.Pos:
  match t:
    case Todo{c, rel}:
      c

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=minebender-game@1.0.0.0/solver.bend&name=Todo
  https://jend.leeeet.dev/definition.txt?path=minebender-game@1.0.0.0/types.bend&name=Pos