def search

minebender-game@1.0.0.0 · solver.bend:494

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

494# A consistent layout with a mine on c, if there is one.
495def search(+c: T.Pos, +pl: Plan, +part: T.Grid(Maybe<&2, Bool>), +ctx: Ctx) ->
496  Maybe<&2, T.Grid(Bool)>:
497  +p = B.set_at(Maybe<&2, Bool>, part, c, Some{True{}})
498  dfs2(plan_todo(c, pl, ctx), p, part_true(p), part_none(p), ctx)