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

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

# a slot or a field is narrow; a wide use is not; a let depends on the name's reads
def narrow(hh: How, +body: Tree.Node) -> Bool:
  match hh:
    case HWide{}:
      False{}
    case HSlot{}:
      True{}
    case HField{}:
      True{}
    case HLet{+binder}:
      narrow_let(hits(body, binder, False{}, 0n, False{}, False{}))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/pedantic/rewalk.bend&name=How
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/pedantic/rewalk.bend&name=hits
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/pedantic/rewalk.bend&name=narrow_let
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/tree.bend&name=Node