def indent.of

bend-toon-codec@0.1.0.0 · src/rep.bend:92

import bend-toon-codec@0.1.0.0/src/rep.bend as Rep
import Base

92def indent.of(+size: U32, +d: U32) -> String:
93  String.repeat(" ", U32.to_nat((size * d : U32)))

Uses (5)

Used by (1)