Lint.Span.text: def of bend-lint-api@0.2.0.0
Import: import bend-lint-api@0.2.0.0/linter/lint.bend as Lint
Lines 245-250 of bend-lint-api@0.2.0.0/linter/lint.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&start_line=245&end_line=250

import Base
import bend-lint-api@0.2.0.0/shared/strings.bend as Strings

def Span.text(source: String, span: Maybe<&2, Span>) -> String:
  match span:
    case Some{Span{path, beg, end}}:
      Strings.slice(source, beg, end)
    case None{}:
      ""

Uses (4):
  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=bend-lint-api@0.2.0.0/linter/lint.bend&name=Span
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/shared/strings.bend&name=slice