Put.calls: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/correctness/put.bend as Put
Lines 62-73 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=62&end_line=73

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

# every `Map.put(` among the significant tokens
def calls(toks: List<&2, Lex.Tok>, +path: String) -> List<&2, F.Finding>:
  match toks:
    case Con{Lex.Tok{k, +t, +l, +c}, +rest}:
      match rest:
        case Con{Lex.Tok{k2, +o, l2, c2}, r2}:
          Lazy.either(List<&2, F.Finding>, Bool.and(calls.dotted(k), Lex.is_open(k2)), _u => calls.one(t, o, l, c, path,
            calls(r2, path)), _v => calls(rest, path))
        case Nil{}:
          Nil{}
    case Nil{}:
      Nil{}

Uses (9):
  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
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/finding.bend&name=Finding
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lazy/lazy.bend&name=either
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/correctness/put.bend&name=calls.dotted
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/correctness/put.bend&name=calls.one
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/lex.bend&name=Tok
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/lex.bend&name=is_open