Plan.header: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/init/plan.bend as Plan
Lines 114-119 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=114&end_line=119

import Base

# the line a new entry opens with, which the hub shows as the package's
# description: the description asked for, or a placeholder that says one is
# still to be written. cargo writes no description into a new Cargo.toml; the
# hub has no field for one, so ours goes where the hub reads it.
def header(+name: String, +desc: String) -> String:
  "# " ++ name ++ ": " ++ Bool.pick(String, String.is_empty(desc), "TODO describe " ++ name, desc)

Uses (4):
  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.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty