def dfs.or

minebender-game@1.0.0.0 · solver.bend:219

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

219def dfs.or(r: Maybe<&2, T.Grid(Bool)>, k: Unit -> Maybe<&2, T.Grid(Bool)>) ->
220  Maybe<&2, T.Grid(Bool)>:
221  match r:
222    case None{}:
223      k(Unit{})
224    case Some{l}:
225      Some{l}