def range_go

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

import Base

311def range_go(n: Nat, acc: List<&2, Nat>) -> List<&2, Nat>:
312  match n:
313    case 0n:
314      acc
315    case 1n+ +p:
316      range_go(p, Con{p, acc})