def res.put
import ezx@1.11.0.0/src/ws/joint.bend as Jointimport Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M
580# a member's ledger with its dependencies resolved, in front of the rest
581def res.put(got: Deps, +dir: List<&2, String>, mm: M.Manifest, rest: Read) -> Read:
582 match got:
583 case Unmet{why}:
584 Unread{why}
585 case Deps{ds}:
586 match rest:
587 case Unread{why}:
588 Unread{why}
589 case Read{xs}:
590 Read{Member{dir, with.deps(mm, ds)} <> xs}