Directives.Pairing.step: 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 662-673 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=662&end_line=673

import Base

def Pairing.step(said: Said, p: Pairing) -> Pairing:
  match said p:
    case Said{Directive{a, Begin{}, r, sev, c, i}} Pairing{open, closed, wrong}:
      Pairing{Directive{a, Begin{}, r, sev, c, i} <> open, closed, wrong}
    case Said{Directive{+a, End{}, +r, sev, c, i}} Pairing{+open, closed, wrong}:
      Pairing.close(
        Open.latest(open, None{}, Action.show(a), r),
        Directive{a, End{}, r, sev, c, i},
        Pairing{open, closed, wrong}
      )
    case _ _:
      p

Uses (9):
  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-rules@0.2.0.0/lib/linter/directives.bend&name=Action.show
  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.latest
  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.close
  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=Scope