def ctx_n

minebender-game@1.0.0.0 · solver.bend:214

import Base

214def ctx_n(ctx: Ctx) -> Nat:
215  match ctx:
216    case Ctx{w, h, n, rows, items}:
217      n