def nears

minebender-game@1.0.0.0 · solver.bend:329

import Base

329# The cells next to a number.
330def nears(ts: List<&2, Todo>) -> List<&2, Todo>:
331  match ts:
332    case Nil{}:
333      Nil{}
334    case +t <> rest:
335      List.filter.put(Todo, t, nears(rest), has_rel(t))