Assertion: concept | /r/HasProperty | evaluated at compile time
Facets:
Source sentences:
text: Concepts are named Boolean predicates on template parameters, evaluated at compile time.
text: Each concept is a predicate, evaluated at compile time, and becomes a part of the interface of a template where it is used as a constraint: