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

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

# one site, rated: the piece is walked for it here, once
def rate_one(ss: Site, +body: Tree.Node) -> Rated:
  Site{+name, +args, +line, +col, +len, +how} = ss
  Rated{Site{name, args, line, col, len, how}, narrow(how, body)}

Uses (4):
  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=narrow
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/tree.bend&name=Node