Unused.hits.hi: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/suspicious/unused.bend as Unused
Lines 160-168 of bolt@1.27.0.0/src/rules/suspicious/unused.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/suspicious/unused.bend&start_line=160&end_line=168

import Base

# a node's high half, empty elsewhere
def hits.hi(hh: Hits) -> Hits:
  match hh:
    case HNone{}:
      HNone{}
    case HLeaf{_cells}:
      HNone{}
    case HNode{_lo, hi}:
      hi

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/suspicious/unused.bend&name=Hits