Relock.keep: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/ws/relock.bend as Relock Lines 124-126 of ezx@1.11.0.0/src/ws/relock.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/relock.bend&start_line=124&end_line=126 import Base import ezx@1.11.0.0/src/ws/workspace.bend as W # the text a command writes as the root's ledger, which held `old` def keep(+old: String, +text: String) -> String: keep.read(W.spec.of(old), old, text) Uses (3): 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/relock.bend&name=keep.read https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=spec.of