def fits

bolt@1.27.0.0 · src/rules/suspicious/prefix.bend:81

import Base

81# is the Nat literal's text the literal's length?
82def fits(+kk: String, lit: String) -> Bool:
83  String.eq(kk, Nat.show(len(lit)) ++ "n")