Unused.hits.any: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/suspicious/unused.bend as Unused
Lines 194-200 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=194&end_line=200

import Base
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy

# is the cell at (line, col) among these?
def hits.any(cs: List<&2, Cell>, +line: U32, +col: U32) -> Bool:
  match cs:
    case Nil{}:
      False{}
    case Con{Cell{l, c}, rest}:
      Lazy.or_else(Bool.and(U32.is_eq(l, line), U32.is_eq(c, col)), _u => hits.any(rest, line, col))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lazy/lazy.bend&name=or_else
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/suspicious/unused.bend&name=Cell