tmp/tmpbn35ph35/{from.md → to.md}
RENAMED
|
@@ -26,8 +26,8 @@ void pbump(int n);
|
|
| 26 |
|
| 27 |
``` cpp
|
| 28 |
void setp(char_type* pbeg, char_type* pend);
|
| 29 |
```
|
| 30 |
|
| 31 |
-
*
|
| 32 |
-
|
| 33 |
|
|
|
|
| 26 |
|
| 27 |
``` cpp
|
| 28 |
void setp(char_type* pbeg, char_type* pend);
|
| 29 |
```
|
| 30 |
|
| 31 |
+
*Ensures:* `pbeg == pbase()`, `pbeg == pptr()`, and `pend == epptr()`
|
| 32 |
+
are all `true`.
|
| 33 |
|