Qual è il nome di un tipo definito da un modello? [chiuso]

Per dare un esempio completo, diciamo che ho una classe template che ora uso per generare una definizione di tipo:

template <typename T>
struct A {};

using X = // I'm not asking about this
  A<int>; // I want to know what this is

Qual è il nome di A<int> ? Inizialmente pensavo che fosse una specializzazione generica di A , perché ricordo di averlo letto da qualche parte in riferimento allo standard, ma non riesco a trovarlo ora.

La risposta dovrebbe fare riferimento allo standard o, se ciò non è possibile, citare una fonte autorevole che imposta una sorta di precedente per come è denominato.

So che questo tipo di domande sono al limite, ma non conosco nessun altro posto per chiederle e ho fatto del mio meglio per affrontare i punti sollevati in questo meta discussione sulle domande sulla denominazione .