Prefix.head_a: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/suspicious/prefix.bend as Prefix
Lines 212-215 of bolt@1.27.0.0/src/rules/suspicious/prefix.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/suspicious/prefix.bend&start_line=212&end_line=215

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

# a dotted `String.eq`, `(`, `String.take` and `(`?
def head_a(k0: Lex.TokKind, +t0: String, +t1: String, +t2: String, +t3: String) -> Bool:
  Bool.and(dotted(k0), Bool.and(String.eq(t0, "String.eq"), Bool.and(String.eq(t1, "("),
    Bool.and(String.eq(t3, "("), String.eq(t2, "String.take")))))

Uses (6):
  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=String
  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/rules/suspicious/prefix.bend&name=dotted
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/lex.bend&name=TokKind