Noqa.used: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/style/noqa.bend as Noqa
Lines 40-49 of bolt@1.27.0.0/src/rules/style/noqa.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/style/noqa.bend&start_line=40&end_line=49

import Base
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy
import bolt@1.27.0.0/src/finding.bend as F
import bolt@1.27.0.0/src/codes.bend as Codes

# a graded finding at the path, on the line, has the code
def used(gs: List<&2, F.Graded>, +path: String, +line: U32, +code: String) -> Bool:
  match gs:
    case Nil{}:
      False{}
    case Con{F.Graded{_ll, F.Finding{p, l, _col, _len, rule, _msg}}, rest}:
      Lazy.or_else(
        Lazy.and_then(String.eq(p, path),
          _u => Lazy.and_then(U32.is_eq(l, line), _v => String.eq(Codes.code(rule), code))),
        _w => used(rest, path, line, code))

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  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/finding.bend&name=Finding
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/finding.bend&name=Graded
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lazy/lazy.bend&name=and_then
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lazy/lazy.bend&name=or_else