Lock.block.texts: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/lock/lock.bend as Lock Lines 538-544 of ezx@1.11.0.0/src/lock/lock.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/lock.bend&start_line=538&end_line=544 import Base import ezx@1.11.0.0/src/pkg/pkg.bend as K # the text of every block, in the order given def block.texts(bs: List<&2, K.Item>) -> List<&2, String>: match bs: case []: [] case K.Item{_hash, text} <> t: text <> block.texts(t) Uses (3): 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/pkg/pkg.bend&name=Item