def read.all
import ezx@1.11.0.0/src/ws/joint.bend as Jointimport Base
import ezx@1.11.0.0/src/ws/workspace.bend as W
810# every member's ledger, read in the order git listed them
811def read.all(fs: List<&2, Found>, +dirs: List<&2, List<&2, String>>) -> Read:
812 match fs:
813 case []:
814 Read{[]}
815 case Found{+pp, +tt} <> tl:
816 rest = read.all(tl, dirs)
817 read.one(W.ledger.of(pp, tt), dirs, tt, rest)