Up.Back: type of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/up.bend as Up
Lines 21-27 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=21&end_line=27

import Base
import ezx@1.11.0.0/src/ws/workspace.bend as W
import ezx@1.11.0.0/src/ws/joint.bend as J

# what the write-back needs: nothing, for a project of its own, or the root's
# ledger text, what its `[workspace]` table says, every other ez.toml git
# lists under the root, and the text of the lock being rewritten, "" for
# none, which records each member's hash before it moved (EZ-WS-7)
type Back is Data:
  Alone{}
  Back{text: String, spec: W.Spec, found: List<&2, J.Found>, lock: String}

Uses (4):
  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/ws/joint.bend&name=Found
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=Spec