Directives.Open.without: 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 625-630 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=625&end_line=630

import Base

def Open.without(open: List<&2, Directive>, +index: U32) -> List<&2, Directive>:
  match open:
    case Nil{}:
      []
    case Con{Directive{a, s, r, sev, c, +i}, rest}:
      Open.keep(U32.is_eq(i, index), Directive{a, s, r, sev, c, i}, Open.without(rest, index))

Uses (5):
  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.is_eq
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/lib/linter/directives.bend&name=Directive
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/lib/linter/directives.bend&name=Open.keep