def choice

ezx@1.11.0.0 · src/tool/plan.bend:642

import Base
import ezx@1.11.0.0/src/tool/world.bend as TW

642# the file built, relative to the checkout: `main.bend` for a plain
643# repository unless `--entry` names another (EZ-TOOL-7)
644def choice(+world: TW.World) -> String:
645  chosen(wish(over(world), TW.want(world)), bin(world), entry(world))