Unused.foreign.opens: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/suspicious/unused.bend as Unused
Lines 60-72 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=60&end_line=72

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

# does the body open with an import once the def's header is over? While the
# header is open (its tokens so far do not end in `:`), each statement is more
# of it: `-> IO(T):` on the line after `def f(..) ->`
def foreign.opens(body: Tree.Node, open: Bool) -> Bool:
  match body:
    case Tree.NCons{Tree.Stmt{sk, kids, _b}, rest}:
      match open:
        case True{}:
          foreign.opens(rest, Bool.not(foreign.ends(kids, False{})))
        case False{}:
          foreign.first(sk)
    case other:
      False{}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/suspicious/unused.bend&name=foreign.ends
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/suspicious/unused.bend&name=foreign.first
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/tree.bend&name=Node