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

import Base

def enc.both(okc: Bool, okr: Bool) -> Bool:
  match okc:
    case False{}:
      False{}
    case True{}:
      okr

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool