Directives.Linted: type of bend-lint-rules@0.2.0.0
Import: import bend-lint-rules@0.2.0.0/lib/linter/directives.bend as Directives
Lines 961-964 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=961&end_line=964

import Base

# A linted file: its path and text, the ids of the rules there are, and those of the rules that ran on it. A rule
# turned off did not run, so its directives are never unused.
type Linted is Data:
  Linted{path: String, text: String, known: List<&2, String>, ran: List<&2, String>}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String