type Plan

minebender-game@1.0.0.0 · solver.bend:462

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

462# What every search of a solve shares: the cells next to a number and the
463# rest, the groups, the plain order, and the numbers around each cell.
464type Plan is Data:
465  Plan{near: List<&2, Todo>, far: List<&2, Todo>, nf: Nat, gq: List<&2, T.Pos>, base: List<&2, Todo>,
466    fuel: Nat, relg: T.Grid(List<&2, Item>)}