Cognitive.run: def of bend-lint-pack@0.1.1.0
Import: import bend-lint-pack@0.1.1.0/complexity/cognitive.bend as Cognitive
Lines 109-114 of bend-lint-pack@0.1.1.0/complexity/cognitive.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-pack@0.1.1.0/complexity/cognitive.bend&start_line=109&end_line=114

import Base
import bend-lint-pack@0.1.1.0/vendor/lint.bend as Lint
import bend-lint-pack@0.1.1.0/common.bend as Common

def run(input: Lint.Input) -> IO(List<&2, Lint.Diag>):
  match input:
    case Lint.Input{sources, options}:
      do IO<List<&2, Lint.Diag>>:
        owners : Common.Owners <- Lint.fold_facts(~Common.Owners, ~Common.Owners.collect, Common.Owners.empty())
        judge(Lint.option_number(options, "max", 15), Common.Owners.ordered(owners), [])

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bend-lint-pack@0.1.1.0/common.bend&name=Owners
  https://jend.leeeet.dev/definition.txt?path=bend-lint-pack@0.1.1.0/common.bend&name=Owners.collect
  https://jend.leeeet.dev/definition.txt?path=bend-lint-pack@0.1.1.0/common.bend&name=Owners.empty
  https://jend.leeeet.dev/definition.txt?path=bend-lint-pack@0.1.1.0/common.bend&name=Owners.ordered
  https://jend.leeeet.dev/definition.txt?path=bend-lint-pack@0.1.1.0/complexity/cognitive.bend&name=judge
  https://jend.leeeet.dev/definition.txt?path=bend-lint-pack@0.1.1.0/vendor/lint.bend&name=Diag
  https://jend.leeeet.dev/definition.txt?path=bend-lint-pack@0.1.1.0/vendor/lint.bend&name=Input
  https://jend.leeeet.dev/definition.txt?path=bend-lint-pack@0.1.1.0/vendor/lint.bend&name=fold_facts
  https://jend.leeeet.dev/definition.txt?path=bend-lint-pack@0.1.1.0/vendor/lint.bend&name=option_number