def root.read
import ezx@1.11.0.0/src/ws/root.bend as Rootimport Base
import ezx@1.11.0.0/src/ws/workspace.bend as W
77# what one directory's ledger says, against what the directories above it
78# decided
79def root.read(rd: W.Read, +dir: List<&2, String>, +rel: List<&2, String>, rest: Found) -> Found:
80 match rd:
81 case W.Lone{}:
82 rest
83 case W.Bad{why}:
84 Broken{why}
85 case W.Root{+spec}:
86 root.claim(claims(spec, rel), dir, rel, rest)