Joint.resolved.spec: def of ezx@1.13.0.0
Import: import ezx@1.13.0.0/src/ws/joint.bend as Joint
Lines 898-906 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=898&end_line=906

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

# the members resolved, by what the root's `[workspace]` table says
def resolved.spec(rd: W.Read, +text: String, +fs: List<&2, Found>, +files: List<&2, K.Source>) -> Read:
  match rd:
    case W.Lone{}:
      Read{[]}
    case W.Bad{why}:
      Unread{why}
    case W.Root{+spec}:
      resolved.members(W.members(spec, W.root.of(text), ledgers(fs)), text, fs, files)

Uses (10):
  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/pkg/pkg.bend&name=Source
  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=ledgers
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ws/joint.bend&name=resolved.members
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ws/workspace.bend&name=Read
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ws/workspace.bend&name=members
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ws/workspace.bend&name=root.of