~/jendhub

def bv.go

emerging-ezaudio@0.4.0.0 · src/mp3_enc.bend:418

import emerging-ezaudio@0.4.0.0/src/mp3_enc.bend as Mp3Enc
import Base

418def bv.go(hop: Nat, st: Bv, +hz: U32, +band: U32) -> Bv:
419  match hop:
420    case 0n:
421      st
422    case 1n+p:
423      bv.go(p, bv.at(st, hz, band), hz, (band + 1 : U32))

Uses (5)

Used by (1)