Rewalk.rate: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/pedantic/rewalk.bend as Rewalk
Lines 768-775 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=768&end_line=775

import Base
import bolt@1.27.0.0/src/syntax/tree.bend as Tree

# each site, rated once, so the reports below compare ratings and never walk
# the piece again: a walk per site, not one per pair of sites
def rate(sites: List<&2, Site>, +body: Tree.Node) -> List<&2, Rated>:
  match sites:
    case Nil{}:
      Nil{}
    case Con{s, rest}:
      rate_one(s, body) <> rate(rest, body)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/pedantic/rewalk.bend&name=Rated
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/pedantic/rewalk.bend&name=Site
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/pedantic/rewalk.bend&name=rate_one
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/tree.bend&name=Node