def banner.of
import ezx@1.11.0.0/src/doctor/plan.bend as Planimport Base
81# the first line of what a program printed
82def banner.of(ls: List<&2, String>) -> String:
83 match ls:
84 case []:
85 ""
86 case h <> _t:
87 h
import ezx@1.11.0.0/src/doctor/plan.bend as Planimport Base
81# the first line of what a program printed
82def banner.of(ls: List<&2, String>) -> String:
83 match ls:
84 case []:
85 ""
86 case h <> _t:
87 h