Plan.names.asks: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/fetch/plan.bend as Plan Lines 651-661 of ezx@1.11.0.0/src/fetch/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/fetch/plan.bend&start_line=651&end_line=661 import Base import ezx@1.11.0.0/src/fetch/world.bend as F # the names still to read under BEND_LIB def names.asks(ms: List<&2, Nm>) -> List<&2, F.Ask>: match ms: case []: [] case m <> t: match m: case NmAsk{nv}: F.Named{nv} <> names.asks(t) case _: names.asks(t) Uses (3): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/fetch/plan.bend&name=Nm https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/fetch/world.bend&name=Ask