Put.defines: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/correctness/put.bend as Put
Lines 39-45 of bolt@1.27.0.0/src/rules/correctness/put.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/correctness/put.bend&start_line=39&end_line=45

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

# does the file define Map.put: a `def` keyword right before a `Map.put`?
def defines(toks: List<&2, Lex.Tok>) -> Bool:
  match toks:
    case Con{Lex.Tok{k, +d, l, c}, +rest}:
      Lazy.or_else(Bool.and(defines.key(k), Bool.and(String.eq(d, "def"), defines.named(rest))), _u => defines(rest))
    case Nil{}:
      False{}

Uses (8):
  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=String.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/correctness/put.bend&name=defines.key
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/correctness/put.bend&name=defines.named
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/lex.bend&name=Tok