def dfs.when

minebender-game@1.0.0.0 · solver.bend:227

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

227def dfs.when(ok: Bool, k: Unit -> Maybe<&2, T.Grid(Bool)>) -> Maybe<&2, T.Grid(Bool)>:
228  match ok:
229    case False{}:
230      None{}
231    case True{}:
232      k(Unit{})