Plan.lib: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/init/plan.bend as Plan Lines 134-136 of ezx@1.11.0.0/src/init/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/init/plan.bend&start_line=134&end_line=136 import Base # the library a new project starts with, which its entry imports def lib() -> String: "import Base\n\n# what the program says\ndef greeting() -> String:\n \"hello\"\n" Uses (1): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String