def width
import bolt@1.27.0.0/src/rules/tokens.bend as Tokensimport Base
85# a text's width in chars
86def width(tt: String) -> U32:
87 U32.from_nat(String.length(tt))
import bolt@1.27.0.0/src/rules/tokens.bend as Tokensimport Base
85# a text's width in chars
86def width(tt: String) -> U32:
87 U32.from_nat(String.length(tt))