def stub
import ezx@1.11.0.0/src/init/plan.bend as Planimport Base
130# the entry of a new project: its line for the hub, then the program
131def stub(+name: String, +desc: String, lays: Bool) -> String:
132 header(name, desc) ++ "\n" ++ body(lays)