def at_a
import bolt@1.27.0.0/src/rules/suspicious/prefix.bend as Prefiximport Base
import bolt@1.27.0.0/src/syntax/lex.bend as Lex
225# a token of kind k0 and text t0, then these: the take-first shape?
226def at_a(k0: Lex.TokKind, +t0: String, toks: List<&2, Lex.Tok>) -> Maybe<&2, String>:
227 match toks:
228 case Con{Lex.Tok{k1, +t1, l1, c1}, Con{Lex.Tok{k2, +t2, l2, c2}, Con{Lex.Tok{k3, +t3, l3, c3}, r3}}}:
229 at_a.go(head_a(k0, t0, t1, t2, t3), r3)
230 case other:
231 None{}