Plan.after: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lint/plan.bend as Plan
Lines 548-556 of bolt@1.27.0.0/src/lint/plan.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lint/plan.bend&start_line=548&end_line=556

import Base
import bolt@1.27.0.0/src/finding.bend as F
import bolt@1.27.0.0/src/noqa.bend as Noqa

# the graded findings no mark silences, in order, then the `noqa` rule's,
# graded by the grader given: nothing silences what `noqa` reports
def after(
  +ms: List<&2, Noqa.Marks>,
  +whole: Bool,
  +gs: List<&2, F.Graded>,
  grader: List<&2, F.Finding> -> List<&2, F.Graded>
) -> List<&2, F.Graded>:
  List.append(&2, F.Graded, Noqa.keep(ms, gs), grader(noqa(ms, whole, gs)))

Uses (8):
  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=List.append
  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/lint/plan.bend&name=noqa
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/noqa.bend&name=Marks
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/noqa.bend&name=keep