Start.entry.or: def of ezx@1.13.0.0 Import: import ezx@1.13.0.0/src/ez/start.bend as Start Lines 39-41 of ezx@1.13.0.0/src/ez/start.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.13.0.0/src/ez/start.bend&start_line=39&end_line=41 import Base # the entry file a ledger names, or "main.bend" when it names none def entry.or(+file: String) -> String: Bool.pick(String, String.is_empty(file), "main.bend", file) Uses (3): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty