Rep.item.obj: def of bend-toon-codec@0.1.0.0 Import: import bend-toon-codec@0.1.0.0/src/rep.bend as Rep Lines 59-66 of bend-toon-codec@0.1.0.0/src/rep.bend: https://jend.leeeet.dev/read.txt?path=bend-toon-codec@0.1.0.0/src/rep.bend&start_line=59&end_line=66 import Base # The first line of an object item rides on the hyphen line; the rest sit one # level under it. def item.obj(+ls: List<&2, Ln>) -> List<&2, Ln>: match ls: case Nil{}: one(0, "-") case Con{Ln{d, t}, rest}: Con{Ln{0, "- " ++ t}, shift(rest)} Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/rep.bend&name=Ln https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/rep.bend&name=one https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/rep.bend&name=shift