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

import Base

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

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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=one
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/rep.bend&name=shift