Wav.enc.ok: def of emerging-ezaudio@0.4.0.0
Import: import emerging-ezaudio@0.4.0.0/src/wav.bend as Wav
Lines 416-423 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=416&end_line=423

import Base

def enc.ok(+nc: U32, +fk: U32, +rt: U32) -> Bool:
  match fk:
    case 1:
      enc.both(enc.ch(nc), U32.is_ne(rt, 0))
    case 3:
      enc.both(enc.ch(nc), U32.is_ne(rt, 0))
    case _:
      False{}

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_ne
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Con
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Nil
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/wav.bend&name=enc.both
  https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/wav.bend&name=enc.ch