def st_need

minebender-game@1.0.0.0 · proof_gen.bend:351

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

351def st_need(st: G.GenState) -> Nat:
352  match st:
353    case G.GenState{need, left, rs}:
354      need