~/jendhub

def chosen

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

import ezx@1.11.0.0/src/tool/plan.bend as Plan
import Base
import ezx@1.11.0.0/src/ez/target.bend as Tgt

630# the file built: the pin's `bin`, then its `entry`, then the checkout's
631# `bin`, then its `entry`, then `main.bend` (EZ-TOOL-7)
632def chosen(+over: String, +binary: String, +entry: String) -> String:
633  Bool.pick(String, String.is_empty(over), Tgt.file.of(binary, entry), over)

Uses (4)

Used by (1)