def ld.go

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

import Base

296def ld.go(hop: Nat, st: Ld) -> Ld:
297  match hop:
298    case 0n:
299      st
300    case 1n+p:
301      ld.go(p, ld.step(st))