Template

// global functions

jnc_Type*
jnc_TemplateArgType_getDefaultType(jnc_TemplateArgType* type);

jnc_TypeKind
jnc_Template_getDerivableTypeKind(jnc_Template* templ);

jnc_Type*
jnc_Template_getDeclType(jnc_Template* templ);

size_t
jnc_Template_getArgCount(jnc_Template* templ);

jnc_TemplateArgType*
jnc_Template_getArg(
    jnc_Template* templ,
    size_t index
);