def other.step
import ezx@1.11.0.0/src/pub/plan.bend as Planimport Base
89# the first line that is a `0x` name and not ours, "" when there is none
90def other.step(odd: Bool, line: String, rest: Unit -> String) -> String:
91 match odd:
92 case True{}:
93 line
94 case False{}:
95 rest(Unit{})