Format.settings: def of bend-lint-rules@0.2.0.0
Import: import bend-lint-rules@0.2.0.0/layout/format.bend as Format
Lines 2430-2435 of bend-lint-rules@0.2.0.0/layout/format.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-rules@0.2.0.0/layout/format.bend&start_line=2430&end_line=2435

import Base
import bend-lint-api@0.2.0.0/linter/lint.bend as Lint

def settings(+here: Lint.Here) -> Settings:
  Settings{
    Lint.Value.number(Lint.Here.option(here, "tabWidth")),
    width_of(Lint.Here.option(here, "wrapAtWidth")),
    newline_of(Lint.Value.text(Lint.Here.option(here, "endOfLine")), Lint.Here.text(here))
  }

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Here
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Here.option
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Here.text
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Value.number
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Value.text
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/layout/format.bend&name=Settings
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/layout/format.bend&name=newline_of
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/layout/format.bend&name=width_of