def skip

bend-collections-laws-math@1.0.0.0 · src/math/random/rand.bend:189

import Base

189# n div 2^(8k)
190def skip(k: Nat, +n: Nat) -> Nat:
191  match k:
192    case 0n:
193      n
194    case 1n+j:
195      skip(j, Nat.div(n, 256n))