EmergingEztoml.basic.disp: def of emerging-eztoml@0.9.0.0 Import: import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml Lines 287-295 of emerging-eztoml@0.9.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=emerging-eztoml@0.9.0.0/main.bend&start_line=287&end_line=295 import Base # one character of a basic string, reversed onto the output def basic.disp(kk: BK, cc: Char, uu: U32, out: List<&2, Char>) -> List<&2, Char>: match kk: case BKCh{}: cc <> out case BKEsc{mark}: basic.esc(mark, out) case BKHex{}: basic.hex(uu, out) Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char 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=emerging-eztoml@0.9.0.0/main.bend&name=BK https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=basic.esc https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=basic.hex