Assertion: template's code | /r/HasProperty | generated by main template
Facets:
Source sentences:
text: Explicit specialization is used when the behavior of a function or class for particular choices of the template parameters must deviate from the generic behavior: that is, from the code generated by the main template, or templates.