Export_Template_Specialization_Interface

interface Export_Template_Specialization_Interface (physical)

Direct parents:

• inherits Template_Specialization_Interface

Inherited interfaces:

Template_Specialization_Interface, Template_Interface

Direct implementations:

• class Partial_Export_Template_Specialization_Declaration

• class Partial_Export_Template_Specialization_Definition

Field	Kind	Type	Description
Specialization_Of (from Template_Specialization_Interface)	semantic	class Declaration	the primary template (composite or routine below template decorator)
Specialization_Arguments (from Template_Specialization_Interface)	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