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

import Base

# Lines of a whole document.
def root(+r: Rep) -> List<&2, Ln>:
  match r:
    case RPrim{t}:
      one(0, t)
    case RLines{ls}:
      ls
    case RArr{h, ks}:
      Con{Ln{0, h}, ks}
    case REmpty{}:
      one(0, "[]")

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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=one