def br.take
import emerging-ezaudio@0.4.0.0/src/mp3.bend as Mp3import Base
213def br.take(br: Br, +k: U32) -> Acc:
214 br.get(U32.to_nat(k), Acc{br, 0})
Uses (5)
Used by (0)
No other definition uses this definition.
import emerging-ezaudio@0.4.0.0/src/mp3.bend as Mp3import Base
213def br.take(br: Br, +k: U32) -> Acc:
214 br.get(U32.to_nat(k), Acc{br, 0})
No other definition uses this definition.