def leaf

minebender-game@1.0.0.0 · solver.bend:242

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

242def leaf(+ctx: Ctx, +layout: T.Grid(Bool)) -> Maybe<&2, T.Grid(Bool)>:
243  Bool.pick(Maybe<&2, T.Grid(Bool)>, check(ctx, layout), Some{layout}, None{})