def tail_a.ok
import bolt@1.27.0.0/src/rules/suspicious/prefix.bend as Prefiximport Base
import bolt@1.27.0.0/src/syntax/lex.bend as Lex
177# after the argument's comma, k, `)`, `,`, a string literal and `)`: is k
178# the literal's length?
179def tail_a.ok(+kk: String, +t7: String, +t8: String, k9: Lex.TokKind, +t9: String, +t10: String) -> Bool:
180 Bool.and(String.eq(t7, ")"), Bool.and(String.eq(t8, ","), Bool.and(Lex.is_str(k9),
181 Bool.and(String.eq(t10, ")"), fits(kk, t9)))))