Mp3.kind.ok: def of emerging-ezaudio@0.4.0.0 Import: import emerging-ezaudio@0.4.0.0/src/mp3.bend as Mp3 Lines 286-293 of emerging-ezaudio@0.4.0.0/src/mp3.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezaudio@0.4.0.0/src/mp3.bend&start_line=286&end_line=293 import Base def kind.ok(+k: U32) -> Bool: match k: case 1: True{} case 3: True{} case _: False{} Uses (4): 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=Word.Con https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Nil