25 lines
928 B
Markdown
25 lines
928 B
Markdown
[temp.constr.general]
|
||
|
||
# 13 Templates [[temp]](./#temp)
|
||
|
||
## 13.5 Template constraints [[temp.constr]](temp.constr#general)
|
||
|
||
### 13.5.1 General [temp.constr.general]
|
||
|
||
[1](#1)
|
||
|
||
[#](http://github.com/Eelis/draft/tree/9adde4bc1c62ec234483e63ea3b70a59724c745a/source/templates.tex#L1595)
|
||
|
||
[*Note [1](#note-1)*:
|
||
|
||
Subclause [[temp.constr]](temp.constr "13.5 Template constraints") defines the meaning of constraints on template arguments[.](#1.sentence-1)
|
||
|
||
The abstract syntax and satisfaction rules are defined
|
||
in [[temp.constr.constr]](temp.constr.constr "13.5.2 Constraints")[.](#1.sentence-2)
|
||
|
||
Constraints are associated with declarations in [[temp.constr.decl]](temp.constr.decl "13.5.3 Constrained declarations")[.](#1.sentence-3)
|
||
|
||
Declarations are partially ordered by their associated constraints ([[temp.constr.order]](temp.constr.order "13.5.5 Partial ordering by constraints"))[.](#1.sentence-4)
|
||
|
||
â *end note*]
|