Template_Specialization_Interface

interface Template_Specialization_Interface (physical)

a partial or full specialization is like a template declaration combined with a template instance selection

Direct parents:

• inherits Template_Interface

Inherited interfaces:

Template_Interface

Direct child interfaces:

• subinterface Export_Template_Specialization_Interface

Direct implementations:

• class Explicit_Specialization_Declaration

• class Explicit_Specialization_Definition

• class Partial_Template_Specialization_Declaration

• class Partial_Template_Specialization_Definition

Field	Kind	Type	Description
Specialization_Of	semantic	class Declaration	the primary template (composite or routine below template decorator)
Specialization_Arguments	syntactic	list of class Template_Argument	the refined parameters used for the primary template (e.g., after class A) these can contain full arguments, normal template parameters, and ‘derived’ parameters, e.g., T* [constructed as Pointer to Use_Template_Type] (from a language point, these are all arguments, using T etc. like normal types)
Template_Parameters (from Template_Interface)	syntactic	list of interface Template_Parameter_Interface
Instances (from Template_Interface)	syntactic	set of interface Template_Instance_Interface	Instances of this template
Requires_Clause (from Template_Interface)	syntactic	class Expression