Type Alias HasTypedForeignKeyTo<T, Target>

HasTypedForeignKeyTo: true extends {
    [K in ForeignKeyKeys<T>]: IsSameEntity<
        ExtractForeignKeyTarget<T[K]>,
        Target,
    >
}[ForeignKeyKeys<T>]
    ? true
    : false

Whether T declares a foreign key typed to reference Target.