Up.found.write: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/up.bend as Up
Lines 170-182 of ezx@1.11.0.0/src/ws/up.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/up.bend&start_line=170&end_line=182

import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M
import ezx@1.11.0.0/src/lock/plan.bend as LP
import ezx@1.11.0.0/src/ws/workspace.bend as W

# one ez.toml git listed, written back when it is a member's
def found.write(
  lg: Maybe<&2, W.Ledger>,
  +text: String,
  +dirs: List<&2, List<&2, String>>,
  +joint: M.Manifest
) -> List<&2, LP.Effect>:
  match lg:
    case None{}:
      []
    case Some{ll}:
      +ds = W.ledger.dir(ll)
      found.pick(W.has(dirs, ds), text, ds, joint)

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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/lock/plan.bend&name=Effect
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/up.bend&name=found.pick
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=Ledger
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=has
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=ledger.dir