def text.join
import ezsys@0.1.0.0/src/text.bend as Textimport Base
144# write a step's text, then scan on in the mode after it
145def text.join(pair: String & Mode, rest: Mode -> String) -> String:
146 (out, next) = pair
147 out ++ rest(next)
import ezsys@0.1.0.0/src/text.bend as Textimport Base
144# write a step's text, then scan on in the mode after it
145def text.join(pair: String & Mode, rest: Mode -> String) -> String:
146 (out, next) = pair
147 out ++ rest(next)