Root.root.read: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/root.bend as Root
Lines 77-86 of ezx@1.11.0.0/src/ws/root.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/root.bend&start_line=77&end_line=86

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

# what one directory's ledger says, against what the directories above it
# decided
def root.read(rd: W.Read, +dir: List<&2, String>, +rel: List<&2, String>, rest: Found) -> Found:
  match rd:
    case W.Lone{}:
      rest
    case W.Bad{why}:
      Broken{why}
    case W.Root{+spec}:
      root.claim(claims(spec, rel), dir, rel, 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.11.0.0/src/ws/root.bend&name=Found
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/root.bend&name=claims
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/root.bend&name=root.claim
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=Read