Lock.kids: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/lock/lock.bend as Lock Lines 60-66 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=60&end_line=66 import Base import ezx@1.11.0.0/src/pkg/pkg.bend as K # every package the sources of one package import def kids(srcs: List<&2, String>) -> List<&2, String>: match srcs: case []: [] case h <> t: List.append(&2, String, specs(K.scan.mods(K.scan(h))), kids(t)) Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append 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/lock/lock.bend&name=specs https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=scan https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=scan.mods