Target.bend.file: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/ez/target.bend as Target Lines 186-189 of ezx@1.11.0.0/src/ez/target.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ez/target.bend&start_line=186&end_line=189 import Base # a word naming a Bend file. As the second of two segments it is the last # component of a path, `src/main.bend`, and not a repository. def bend.file(+text: String) -> Bool: String.ends_with(text, ".bend") Uses (3): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.ends_with