DecreasingCall.known.at: def of bend-lint-rules@0.2.0.0
Import: import bend-lint-rules@0.2.0.0/language/decreasing_call.bend as DecreasingCall
Lines 113-129 of bend-lint-rules@0.2.0.0/language/decreasing_call.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-rules@0.2.0.0/language/decreasing_call.bend&start_line=113&end_line=129

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

# What a case below `parent` takes apart, if `node` is one and `parent` its match.
def known.at(
  parent: Maybe<&2, Lint.Node>,
  node: Lint.Node,
  smaller: List<&2, Smaller>
) -> List<&2, Smaller>:
  match parent node:
    case Some{
      Lint.Node{Lint.Match{}, mn, ms, scrutinees, mf}
    } Lint.Node{Lint.Case{}, n, s, patterns, f}:
      taken(
        Lint.Node.scrutinees(Lint.Node{Lint.Match{}, mn, ms, scrutinees, mf}),
        patterns,
        smaller
      )
    case _ _:
      smaller

Uses (7):
  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=bend-lint-api@0.2.0.0/linter/lint.bend&name=Node
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Node.scrutinees
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Syntax
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/language/decreasing_call.bend&name=Smaller
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/language/decreasing_call.bend&name=taken