Plan.name.or: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/init/plan.bend as Plan Lines 49-51 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=49&end_line=51 import Base # the name a new ledger takes: what was asked for, or `app` def name.or(+at: String) -> String: Bool.pick(String, String.is_empty(at), "app", at) 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