Directives.Covering.pins: 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 776-785 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=776&end_line=785

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

def Covering.pins(
  action: Action,
  pinned: Maybe<&2, Lint.Severity>,
  severity: Lint.Severity
) -> Bool:
  match action:
    case Disable{}:
      True{}
    case Expect{}:
      Severity.is_eq(pinned, Some{severity})

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Severity
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/lib/linter/directives.bend&name=Action
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/lib/linter/directives.bend&name=Severity.is_eq