Directives.paired: def of bend-lint-rules@0.2.0.0
Import: import bend-lint-rules@0.2.0.0/lib/linter/directives.bend as Directives
Lines 1055-1076 of bend-lint-rules@0.2.0.0/lib/linter/directives.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-rules@0.2.0.0/lib/linter/directives.bend&start_line=1055&end_line=1076

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

def paired(
  p: Pairing,
  +saids: List<&2, Said>,
  +lines: List<&2, Bool>,
  linted: Linted,
  founds: List<&2, Lint.Found>
) -> Suppressed:
  match p:
    case Pairing{open, closed, wrong}:
      covered(
        Covering.all(
          saids,
          lines,
          closed,
          (U32.from_nat(Lists.length(&2, Bool, lines)) - 1: U32),
          []
        ),
        Pairing.unclosed(open, wrong),
        saids,
        linted,
        founds
      )

Uses (14):
  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=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.from_nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.sub
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Found
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/shared/lists.bend&name=length
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/lib/linter/directives.bend&name=Covering.all
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/lib/linter/directives.bend&name=Linted
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/lib/linter/directives.bend&name=Pairing
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/lib/linter/directives.bend&name=Pairing.unclosed
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/lib/linter/directives.bend&name=Said
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/lib/linter/directives.bend&name=Suppressed
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/lib/linter/directives.bend&name=covered