type TypeRef

bend-lint-api@0.2.0.0 · linter/lint.bend:77

import Base

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