def dfs.free

minebender-game@1.0.0.0 · solver.bend:234

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

234def dfs.free(free: Bool, skip: Unit -> Maybe<&2, T.Grid(Bool)>,
235  branch: Unit -> Maybe<&2, T.Grid(Bool)>) -> Maybe<&2, T.Grid(Bool)>:
236  match free:
237    case False{}:
238      skip(Unit{})
239    case True{}:
240      branch(Unit{})