Doctor.own.files: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/doctor.bend as Doctor
Lines 80-91 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=80&end_line=91

import Base
import ezx@1.11.0.0/src/lock/world.bend as LW

# the committed files that are a member's own
def own.files(
  +dir: List<&2, String>,
  +dirs: List<&2, List<&2, String>>,
  fs: List<&2, LW.Source>
) -> List<&2, LW.Source>:
  match fs:
    case []:
      []
    case LW.Source{+at, text} <> tl:
      rest = own.files(dir, dirs, tl)
      own.put(own.at(dir, dirs, at), LW.Source{at, text}, 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
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Source
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/doctor.bend&name=own.at
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/doctor.bend&name=own.put