Joint.read.all: def of ezx@1.13.0.0
Import: import ezx@1.13.0.0/src/ws/joint.bend as Joint
Lines 810-817 of ezx@1.13.0.0/src/ws/joint.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.13.0.0/src/ws/joint.bend&start_line=810&end_line=817

import Base
import ezx@1.13.0.0/src/ws/workspace.bend as W

# every member's ledger, read in the order git listed them
def read.all(fs: List<&2, Found>, +dirs: List<&2, List<&2, String>>) -> Read:
  match fs:
    case []:
      Read{[]}
    case Found{+pp, +tt} <> tl:
      rest = read.all(tl, dirs)
      read.one(W.ledger.of(pp, tt), dirs, tt, rest)

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
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ws/joint.bend&name=Found
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ws/joint.bend&name=Read
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ws/joint.bend&name=read.one
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ws/workspace.bend&name=ledger.of