Lint.TypeRef: type of bend-lint-api@0.2.0.0
Import: import bend-lint-api@0.2.0.0/linter/lint.bend as Lint
Lines 77-80 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=77&end_line=80

import Base

# A type the checker holds: a handle, good in the check it came from. Rules ask about it (show, same, normal). Two types
# are the same only over the binders their scopes share: `A` of one def is not `A` of another.
type TypeRef is Data:
  TypeRef{check: U32, handle: U32}

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