Encode.code: def of bend-toon-codec@0.1.0.0 Import: import bend-toon-codec@0.1.0.0/src/encode.bend as Encode Lines 24-32 of bend-toon-codec@0.1.0.0/src/encode.bend: https://jend.leeeet.dev/read.txt?path=bend-toon-codec@0.1.0.0/src/encode.bend&start_line=24&end_line=32 import Base # The delimiter as a code point. def code(+d: Delim) -> U32: match d: case Comma{}: 44 case Tab{}: 9 case Pipe{}: 124 Uses (2): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/encode.bend&name=Delim