Relock.put.pick: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/ws/relock.bend as Relock Lines 181-187 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=181&end_line=187 import Base import ezx@1.11.0.0/src/ws/joint.bend as J # a listed ez.toml, once it is known whether it is the one the command writes def put.pick(hit: Bool, +path: String, was: String, +text: String, rest: List<&2, J.Found>) -> List<&2, J.Found>: match hit: case True{}: J.Found{path, text} <> rest case False{}: J.Found{path, was} <> rest Uses (4): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool 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