Prefix.tail_a: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/suspicious/prefix.bend as Prefix
Lines 183-194 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=183&end_line=194

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

# the take-first shape's end, after the argument: what the finding says
def tail_a(ma: Maybe<&2, Arg>) -> Maybe<&2, String>:
  match ma:
    case None{}:
      None{}
    case Some{Arg{+ss, r}}:
      match r:
        case Con{Lex.Tok{k6, +t6, l6, c6}, Con{Lex.Tok{k7, +t7, l7, c7}, Con{Lex.Tok{k8, +t8, l8, c8},
          Con{Lex.Tok{k9, +t9, l9, c9}, Con{Lex.Tok{k10, +t10, l10, c10}, rest}}}}}:
          Bool.pick(Maybe<&2, String>, tail_a.ok(t6, t7, t8, k9, t9, t10), Some{say(ss, t6, t9)}, None{})
        case other:
          None{}

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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/rules/suspicious/prefix.bend&name=Arg
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/suspicious/prefix.bend&name=say
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/suspicious/prefix.bend&name=tail_a.ok
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/lex.bend&name=Tok