Plan.decide.name: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/tool/plan.bend as Plan Lines 925-932 of ezx@1.11.0.0/src/tool/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/tool/plan.bend&start_line=925&end_line=932 import Base import ezx@1.11.0.0/src/tool/world.bend as TW # a name that could not name a file is refused def decide.name(ok: Bool, +world: TW.World) -> Verdict: match ok: case True{}: decide.file(file.asks(world), world) case False{}: Stop{"ez: " ++ label(world) ++ name.what(world) ++ name.raw(world) ++ ", which is not a TOML bare key"} Uses (9): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/plan.bend&name=Verdict https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/plan.bend&name=decide.file https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/plan.bend&name=file.asks https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/plan.bend&name=label https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/plan.bend&name=name.raw https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/plan.bend&name=name.what https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/world.bend&name=World