Rewalk.report_nar: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/pedantic/rewalk.bend as Rewalk
Lines 817-831 of bolt@1.27.0.0/src/rules/pedantic/rewalk.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/pedantic/rewalk.bend&start_line=817&end_line=831

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

# the finding, when this is the first narrow site of a duplicated call
def report_nar(
  +nar: Bool,
  +prior: Bool,
  +name: String,
  +line: U32,
  +col: U32,
  +len: U32,
  +path: String
) -> List<&2, F.Finding>:
  match nar:
    case False{}:
      Nil{}
    case True{}:
      report_fresh(prior, name, line, col, len, path)

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=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  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/rules/pedantic/rewalk.bend&name=report_fresh