Finding.show_graded: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/finding.bend as Finding
Lines 20-24 of bolt@1.27.0.0/src/finding.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/finding.bend&start_line=20&end_line=24

import Base
import bolt@1.27.0.0/src/config.bend as Config
import bolt@1.27.0.0/src/codes.bend as Codes

# one line, `path:line:col: level: CODE: message`
def show_graded(gg: Graded) -> String:
  Graded{level, Finding{path, line, col, len, rule, msg}} = gg
  path ++ ":" ++ U32.show((line + 1 : U32)) ++ ":" ++ U32.show((col + 1 : U32)) ++ ": " ++ Config.show(level) ++ ": "
    ++ Codes.code(rule) ++ ": " ++ msg

Uses (9):
  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=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.show
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/codes.bend&name=code
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/config.bend&name=show
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/finding.bend&name=Finding
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/finding.bend&name=Graded