Line.leaf: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/ez/line.bend as Line Lines 138-142 of ezx@1.11.0.0/src/ez/line.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ez/line.bend&start_line=138&end_line=142 import Base import shake@0.6.0.0/main.bend as Shake # the Matched of the command the path names, whose bindings are the ones the # line made for that command (SHAKE-GET-2: `at(m, path_of(m))` follows the # selected path). A None here would be a Matched `parse` never answers. def leaf(+matched: Shake.Matched) -> Shake.Matched: Maybe.default(&2, Shake.Matched, Shake.at(matched, Shake.path_of(matched)), matched) Uses (4): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe.default https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/main.bend&name=Matched https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/main.bend&name=at https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/main.bend&name=path_of