def todos_ok

minebender-game@1.0.0.0 · proof_solver.bend:708

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

708def todos_ok(ts: List<&2, S.Todo>, +layout: T.Grid(Bool)) -> Bool:
709  match ts:
710    case Nil{}:
711      True{}
712    case S.Todo{c, rel} <> t:
713      S.items_ok(rel, layout) && todos_ok(t, layout)