torch.tx.ValidatePatternVariables

export type ValidatePatternVariables<Pattern extends string, TensorKeys extends string> =
  PatternVariables<Pattern> extends infer Required extends string
    ? [MissingVariables<Required, TensorKeys>] extends [never]
      ? [ExtraVariables<TensorKeys, Required>] extends [never]
        ? void
        : pattern_error_extra_variables<ExtraVariables<TensorKeys, Required>, Pattern>
      : pattern_error_missing_variables<MissingVariables<Required, TensorKeys>, Pattern>
    : void;

Patternextends string

TensorKeysextends string

Validate that a tensor object's keys match the pattern's variables. Returns void if valid, or an error type if there are missing/extra variables.