def check.short
import bolt@1.27.0.0/src/rules/style/param.bend as Paramimport Base
33# shorter than 2
34def check.short(+nm: String) -> Bool:
35 Nat.is_lt(String.length(nm), 2n)
import bolt@1.27.0.0/src/rules/style/param.bend as Paramimport Base
33# shorter than 2
34def check.short(+nm: String) -> Bool:
35 Nat.is_lt(String.length(nm), 2n)