type Seen
import bend-lint-pack@0.1.1.0/common.bend as Commonimport Base
import bend-lint-pack@0.1.1.0/vendor/lint.bend as Lint
5# Owners of facts
6# ===============
7# A global name that owns facts (a def, a law, a type, a constructor), and where its first fact sits.
8type Seen is Data:
9 Seen{owner: String, span: Maybe<&2, Lint.Span>}