Template_Base_Interface

interface Template_Base_Interface (logical)

used for partial and full specializations and for instances

Direct child interfaces:
Direct implementations:

Field

Kind

Type

Description

Base_Template

semantic

class Symbol

usually, a Template_Interface, but could also be a normal method/nested class inside a template

Template_Arguments

syntactic

list of class Template_Argument

Is_Partial_Specialization

attribute

builtin Boolean

Is_Full_Specialization

attribute

builtin Boolean

Is_Template_Instance

attribute

builtin Boolean