def header
import ezx@1.11.0.0/src/init/plan.bend as Planimport Base
114# the line a new entry opens with, which the hub shows as the package's
115# description: the description asked for, or a placeholder that says one is
116# still to be written. cargo writes no description into a new Cargo.toml; the
117# hub has no field for one, so ours goes where the hub reads it.
118def header(+name: String, +desc: String) -> String:
119 "# " ++ name ++ ": " ++ Bool.pick(String, String.is_empty(desc), "TODO describe " ++ name, desc)