def loop.found

minebender-game@1.0.0.0 · solver.bend:508

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

508def loop.found(r: Maybe<&2, T.Grid(Bool)>, c: T.Pos,
509  k: T.Grid(Bool) -> Maybe<&2, T.Pos>) -> Maybe<&2, T.Pos>:
510  match r:
511    case None{}:
512      Some{c}
513    case Some{l}:
514      k(l)