Prefix.len.go: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/suspicious/prefix.bend as Prefix
Lines 68-74 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=68&end_line=74

import Base

# the length of the rest of a literal's text, from where it is
def len.go(tt: String, +mm: Mode) -> Nat:
  match tt:
    case SNil{}:
      0n
    case SCon{+cc, rest}:
      Nat.add(len.add(mm, cc), len.go(rest, len.next(mm, cc)))

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