def at
import bend-toon-codec@0.1.0.0/src/dline.bend as Dlineimport Base
38def at(+no: U32, +m: String) -> String:
39 "line " ++ U32.show(no) ++ ": " ++ m
import bend-toon-codec@0.1.0.0/src/dline.bend as Dlineimport Base
38def at(+no: U32, +m: String) -> String:
39 "line " ++ U32.show(no) ++ ": " ++ m