Doctor.at.lines: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/doctor.bend as Doctor
Lines 131-137 of ezx@1.11.0.0/src/ws/doctor.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/doctor.bend&start_line=131&end_line=137

import Base

# a member's line, said for the member
def at.lines(+place: String, ls: List<&2, String>) -> List<&2, String>:
  match ls:
    case []:
      []
    case hd <> tl:
      (place ++ ": " ++ hd) <> at.lines(place, tl)

Uses (3):
  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