tmp/tmpj4gdy97r/{from.md → to.md}
RENAMED
|
@@ -1,7 +0,0 @@
|
|
| 1 |
-
#### Requires paragraph <a id="res.on.required">[[res.on.required]]</a>
|
| 2 |
-
|
| 3 |
-
Violation of the preconditions specified in a function’s *Requires:*
|
| 4 |
-
paragraph results in undefined behavior unless the function’s *Throws:*
|
| 5 |
-
paragraph specifies throwing an exception when the precondition is
|
| 6 |
-
violated.
|
| 7 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|