def indent.of
import bend-toon-codec@0.1.0.0/src/rep.bend as Repimport Base
92def indent.of(+size: U32, +d: U32) -> String:
93 String.repeat(" ", U32.to_nat((size * d : U32)))
import bend-toon-codec@0.1.0.0/src/rep.bend as Repimport Base
92def indent.of(+size: U32, +d: U32) -> String:
93 String.repeat(" ", U32.to_nat((size * d : U32)))