Rep.item: def of bend-toon-codec@0.1.0.0
Import: import bend-toon-codec@0.1.0.0/src/rep.bend as Rep
Lines 68-78 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=68&end_line=78

import Base

# Lines of `- value` for any value rep.
def item(+r: Rep) -> List<&2, Ln>:
  match r:
    case RPrim{t}:
      one(0, "- " ++ t)
    case RLines{ls}:
      item.obj(ls)
    case RArr{h, ks}:
      Con{Ln{0, "- " ++ h}, ks}
    case REmpty{}:
      one(0, "- [0]:")

Uses (6):
  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=Rep
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/rep.bend&name=item.obj
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/rep.bend&name=one