type Fact
import bend-lint-pack@0.1.1.0/vendor/lint.bend as Lintimport Base
16# A checked term, a type, and a node of a checked body: indexes into
17# bend-lint's tables for one run. Only the effects below read them.
18type Fact is Data:
19 Fact{id: U32}