Dline.make.pick: def of bend-toon-codec@0.1.0.0 Import: import bend-toon-codec@0.1.0.0/src/dline.bend as Dline Lines 62-67 of bend-toon-codec@0.1.0.0/src/dline.bend: https://jend.leeeet.dev/read.txt?path=bend-toon-codec@0.1.0.0/src/dline.bend&start_line=62&end_line=67 import Base def make.pick(+isblank: Bool, +no: U32, +l: Ld, +size: U32, +strict: Bool) -> Result<&2, &2, String, DL>: match isblank: case True{}: blank(no) case False{}: make.nonblank(no, l, size, strict) Uses (8): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/dline.bend&name=DL https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/dline.bend&name=Ld https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/dline.bend&name=blank https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/dline.bend&name=make.nonblank