Joint.res.put: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/joint.bend as Joint
Lines 580-590 of ezx@1.11.0.0/src/ws/joint.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/joint.bend&start_line=580&end_line=590

import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M

# a member's ledger with its dependencies resolved, in front of the rest
def res.put(got: Deps, +dir: List<&2, String>, mm: M.Manifest, rest: Read) -> Read:
  match got:
    case Unmet{why}:
      Unread{why}
    case Deps{ds}:
      match rest:
        case Unread{why}:
          Unread{why}
        case Read{xs}:
          Read{Member{dir, with.deps(mm, ds)} <> xs}

Uses (7):
  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/ledger/manifest.bend&name=Manifest
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/joint.bend&name=Deps
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/joint.bend&name=Member
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/joint.bend&name=Read
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/joint.bend&name=with.deps