def hp.field

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

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

import Base

444def hp.field(hop: Nat, hp: Hp, +code: U32, +left: U32) -> Hp:
445  match hop:
446    case 0n:
447      hp
448    case 1n+p:
449      hp.field(p, hp.bit(hp, ((code >> U32.to_nat((left - 1 : U32)) : U32) .&. 1 : U32)), code,
450        (left - 1 : U32))

Uses (8)

Used by (2)