Wav.enc.head: def of emerging-ezaudio@0.4.0.0
Import: import emerging-ezaudio@0.4.0.0/src/wav.bend as Wav
Lines 449-461 of emerging-ezaudio@0.4.0.0/src/wav.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezaudio@0.4.0.0/src/wav.bend&start_line=449&end_line=461

import Base

def enc.head(+rate: U32, +ch: U32, +kind: U32, +nb: U32) -> List<&2, U32>:
  enc.cat(put.be(tag.riff()),
    enc.cat(put.u32((36 + nb : U32)),
      enc.cat(put.be(tag.wave()),
        enc.cat(put.be(tag.fmt()),
          enc.cat(put.u32(16),
            enc.cat(put.u16(kind),
              enc.cat(put.u16(ch),
                enc.cat(put.u32(rate),
                  enc.cat(put.u32((rate * align.of(kind, ch) : U32)),
                    enc.cat(put.u16(align.of(kind, ch)),
                      enc.cat(put.u16(width.of(kind)),
                        enc.cat(put.be(tag.data()), put.u32(nb)))))))))))))

Uses (14):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.mul
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/wav.bend&name=align.of
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/wav.bend&name=enc.cat
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/wav.bend&name=put.be
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/wav.bend&name=put.u16
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/wav.bend&name=put.u32
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/wav.bend&name=tag.data
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/wav.bend&name=tag.fmt
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/wav.bend&name=tag.riff
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/wav.bend&name=tag.wave
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/wav.bend&name=width.of