def len32

import bend-toon-codec@0.1.0.0/src/num.bend as Num

import Base

147def len32(+s: String) -> U32:
148  U32.from_nat(String.length(s))

Uses (4)