Relock.texts: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/add/relock.bend as Relock Lines 57-63 of ezx@1.11.0.0/src/add/relock.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/add/relock.bend&start_line=57&end_line=63 import Base import ezx@1.11.0.0/src/pkg/pkg.bend as K # the text of each file a manifest names, in its order def texts(+fs: List<&2, K.Source>, items: List<&2, K.Item>) -> List<&2, String>: match items: case []: [] case K.Item{at, _sum} <> t: text.at(fs, at) <> texts(fs, t) 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=ezx@1.11.0.0/src/add/relock.bend&name=text.at https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=Item https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=Source