Type Definition CanonicalVarKind
chalk_ir
type CanonicalVarKind<I: Interner> = WithKind<I, UniverseIndex>;