def gen.next.go

minebender-game@1.0.0.0 · game.bend:156

import Base

156def gen.next.go(skip: Bool, bit: Bool, need: Nat, left: Nat, rs: List<&2, U32>) -> GenState:
157  match skip:
158    case True{}:
159      GenState{need, left, rs}
160    case False{}:
161      GenState{Nat.sub(need, Bool.pick(Nat, bit, 1n, 0n)), Nat.sub(left, 1n),
162        List.tail(&2, U32, rs)}