def hp.lp
import emerging-ezaudio@0.4.0.0/src/mp3_enc.bend as Mp3Encimport Base
489def hp.lp(z: Bool, hp: Hp, +lin: U32, +extra: U32) -> Hp:
490 match z:
491 case True{}:
492 hp.field(U32.to_nat(lin), hp, extra, lin)
493 case False{}:
494 hp