~/jendhub

def inflate.copy

gralha-bytes@0.1.0.1 · bytes.bend:228

import gralha-bytes@0.1.0.1/bytes.bend as Bytes
import Base

228def inflate.copy(n: Nat, +distance: U32, +out: Bytes) -> Bytes:
229  match n:
230    case 0n: out
231    case 1n+d: inflate.copy(d, distance, bytes.push(out, bytes.get(out, (bytes.size(out) - distance : U32))))

Uses (7)

Used by (1)