Lint.Fact: type of bend-lint-api@0.2.0.0
Import: import bend-lint-api@0.2.0.0/linter/lint.bend as Lint
Lines 88-95 of bend-lint-api@0.2.0.0/linter/lint.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&start_line=88&end_line=95

import Base

# What the checker found for a node of the source: what the fact says of it, the quantity (how often the term is
# demanded, or the binder's), for a binder of a parameter, lambda, let or case, how often its body uses it (the most of
# its checked copies; none for a parameter a match takes apart), and the type. A fact is never wrong, but a node can
# have none: a term the checker rewrote into another (a scrutinee used again, a call a template took) is not typed as
# itself. A node has one fact per distinct type: pattern compilation can check one term in several branches, under
# different refinements.
type Fact is Data:
  Fact{role: Role, quantity: Quantity, used: Maybe<&2, Quantity>, checked: TypeRef}

Uses (4):
  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=Quantity
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Role
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=TypeRef