Relock.put.found: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/ws/relock.bend as Relock Lines 189-196 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=189&end_line=196 import Base import ezx@1.11.0.0/src/ws/joint.bend as J # every listed ez.toml, the one at `path` holding `text` def put.found(fs: List<&2, J.Found>, +path: String, +text: String) -> List<&2, J.Found>: match fs: case []: [] case J.Found{+fp, ft} <> tl: rest = put.found(tl, path, text) put.pick(String.eq(fp, path), fp, ft, text, rest) Uses (5): 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=Base/base.bend&name=String.eq 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/relock.bend&name=put.pick