Joint.res.read: def of ezx@1.13.0.0
Import: import ezx@1.13.0.0/src/ws/joint.bend as Joint
Lines 659-665 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=659&end_line=665

import Base

# the resolved ledgers joined, or why one could not be resolved
def res.read(rd: Read, got: Deps) -> Joint:
  match rd:
    case Unread{why}:
      Clash{why}
    case Read{xs}:
      res.named(xs, got)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ws/joint.bend&name=Deps
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ws/joint.bend&name=Joint
  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=res.named