Prefix.fits: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/suspicious/prefix.bend as Prefix
Lines 81-83 of bolt@1.27.0.0/src/rules/suspicious/prefix.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/suspicious/prefix.bend&start_line=81&end_line=83

import Base

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

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.show
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/suspicious/prefix.bend&name=len