Lint.forks: def of bend-lint-api@0.2.0.0
Import: import bend-lint-api@0.2.0.0/linter/lint.bend as Lint
Lines 892-914 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=892&end_line=914

import Base

# Whether a parallel let (two binders, at least) is among `nodes` or under them, or `found`.
def forks(nodes: List<&2, Node>, found: Bool) -> Bool:
  match nodes found:
    case _ True{}:
      True{}
    case Nil{} False{}:
      False{}
    case Con{
      Node{
        Destructure{q},
        n,
        s,
        Con{
          Node{PatternVariable{a, aq}, an, as, ak, af},
          Con{Node{PatternVariable{b, bq}, bn, bs, bk, bf}, more}
        },
        f
      },
      rest
    } False{}:
      True{}
    case Con{Node{syntax, n, s, kids, f}, rest} False{}:
      forks(rest, forks(kids, 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