def covered

minebender-game@1.0.0.0 · solver.bend:487

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

487def covered(ls: List<&2, T.Grid(Bool)>, +c: T.Pos) -> Bool:
488  match ls:
489    case Nil{}:
490      False{}
491    case l <> t:
492      B.mine(l, c) || covered(t, c)