def bw.field

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

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

import Base

1162def bw.field(hop: Nat, st: Bw, +val: U32) -> Bw:
1163  match hop:
1164    case 0n:
1165      st
1166    case 1n++p:
1167      bw.field(p, bw.bit(st, ((val >> p : U32) .&. 1 : U32)), val)

Uses (6)

Used by (4)