Lint.View: type of bend-lint-pack@0.1.1.0
Import: import bend-lint-pack@0.1.1.0/vendor/lint.bend as Lint
Lines 88-94 of bend-lint-pack@0.1.1.0/vendor/lint.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-pack@0.1.1.0/vendor/lint.bend&start_line=88&end_line=94

import Base

# A fact as bend-lint sees it: the def it is in, whether that def is a
# template instance, the kind of its term once an annotation is stripped
# (Var, App, ...), the name a Var or Ref points to (else ""), how many
# times the term is demanded, and the spans of the checked term and of the
# stripped one.
type View is Data:
  View{owner: String, inst: Bool, kind: String, name: String, quantity: Quantity, span: Maybe<&2, Span>, inner: Maybe<&2, Span>}

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=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-lint-pack@0.1.1.0/vendor/lint.bend&name=Quantity
  https://jend.leeeet.dev/definition.txt?path=bend-lint-pack@0.1.1.0/vendor/lint.bend&name=Span