type View

bend-lint-pack@0.1.1.0 · vendor/lint.bend:88

import Base

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