def st_left

minebender-game@1.0.0.0 · proof_gen.bend:356

import Base
import minebender-game@1.0.0.0/game.bend as G

356def st_left(st: G.GenState) -> Nat:
357  match st:
358    case G.GenState{need, left, rs}:
359      left