ExactJoinPredicate

type ExactJoinPredicate<
  LeftName extends string,
  Left,
  Right,
  Name extends string = string
> = ScalarPredicate<{
  [K in StringKeyOf<Right> as `${Name}.${K}`]: `${LeftName}.${KeysWhere<
    Left,
    Right[K] | undefined
  >}`;
}>;