tmp/tmpodq3wg78/{from.md → to.md}
RENAMED
|
@@ -1,9 +1,9 @@
|
|
| 1 |
### Header `<random>` synopsis <a id="rand.synopsis">[[rand.synopsis]]</a>
|
| 2 |
|
| 3 |
``` cpp
|
| 4 |
-
#include <initializer_list>
|
| 5 |
|
| 6 |
namespace std {
|
| 7 |
// [rand.req.urng], uniform random bit generator requirements
|
| 8 |
template<class G>
|
| 9 |
concept uniform_random_bit_generator = see below;
|
|
|
|
| 1 |
### Header `<random>` synopsis <a id="rand.synopsis">[[rand.synopsis]]</a>
|
| 2 |
|
| 3 |
``` cpp
|
| 4 |
+
#include <initializer_list> // see [initializer.list.syn]
|
| 5 |
|
| 6 |
namespace std {
|
| 7 |
// [rand.req.urng], uniform random bit generator requirements
|
| 8 |
template<class G>
|
| 9 |
concept uniform_random_bit_generator = see below;
|