def blank
import bend-toon-codec@0.1.0.0/src/dline.bend as Dlineimport Base
41def blank(+no: U32) -> Result<&2, &2, String, DL>:
42 Done{DL{no, 0, SNil{}, True{}}}
import bend-toon-codec@0.1.0.0/src/dline.bend as Dlineimport Base
41def blank(+no: U32) -> Result<&2, &2, String, DL>:
42 Done{DL{no, 0, SNil{}, True{}}}