Directives.Problem.first: def of bend-lint-rules@0.2.0.0
Import: import bend-lint-rules@0.2.0.0/lib/linter/directives.bend as Directives
Lines 466-473 of bend-lint-rules@0.2.0.0/lib/linter/directives.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-rules@0.2.0.0/lib/linter/directives.bend&start_line=466&end_line=473

import Base

def Problem.first(problems: List<&2, Maybe<&2, String>>) -> Maybe<&2, String>:
  match problems:
    case Nil{}:
      None{}
    case Con{Some{why}, rest}:
      Some{why}
    case Con{None{}, rest}:
      Problem.first(rest)

Uses (3):
  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