UnneededPlus.is_constructed: def of bend-lint-rules@0.2.0.0
Import: import bend-lint-rules@0.2.0.0/language/unneeded_plus.bend as UnneededPlus
Lines 36-41 of bend-lint-rules@0.2.0.0/language/unneeded_plus.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-rules@0.2.0.0/language/unneeded_plus.bend&start_line=36&end_line=41

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

def is_constructed(nodes: List<&2, Lint.Node>) -> Bool:
  match nodes:
    case Con{Lint.Node{Lint.PatternConstructor{t}, n, s, k, f}, rest}:
      True{}
    case _:
      False{}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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=Syntax