From Jason Turner

[rand.req.genl]

Diff to HTML by rtfpessoa

tmp/tmpc_8m8fub/{from.md → to.md} RENAMED
@@ -1,9 +1,8 @@
1
  #### General requirements <a id="rand.req.genl">[[rand.req.genl]]</a>
2
 
3
- Throughout this subclause [[rand]], the effect of instantiating a
4
- template:
5
 
6
  - that has a template type parameter named `Sseq` is undefined unless
7
  the corresponding template argument is cv-unqualified and meets the
8
  requirements of seed sequence [[rand.req.seedseq]].
9
  - that has a template type parameter named `URBG` is undefined unless
@@ -22,14 +21,14 @@ template:
22
  - that has a template type parameter named `UIntType` is undefined
23
  unless the corresponding template argument is cv-unqualified and is
24
  one of `unsigned short`, `unsigned int`, `unsigned long`, or
25
  `unsigned long long`.
26
 
27
- Throughout this subclause [[rand]], phrases of the form “`x` is an
28
- iterator of a specific kind” shall be interpreted as equivalent to the
29
- more formal requirement that “`x` is a value of a type meeting the
30
- requirements of the specified iterator type”.
31
 
32
- Throughout this subclause [[rand]], any constructor that can be called
33
- with a single argument and that meets a requirement specified in this
34
- subclause shall be declared `explicit`.
35
 
 
1
  #### General requirements <a id="rand.req.genl">[[rand.req.genl]]</a>
2
 
3
+ Throughout [[rand]], the effect of instantiating a template:
 
4
 
5
  - that has a template type parameter named `Sseq` is undefined unless
6
  the corresponding template argument is cv-unqualified and meets the
7
  requirements of seed sequence [[rand.req.seedseq]].
8
  - that has a template type parameter named `URBG` is undefined unless
 
21
  - that has a template type parameter named `UIntType` is undefined
22
  unless the corresponding template argument is cv-unqualified and is
23
  one of `unsigned short`, `unsigned int`, `unsigned long`, or
24
  `unsigned long long`.
25
 
26
+ Throughout [[rand]], phrases of the form “`x` is an iterator of a
27
+ specific kind” shall be interpreted as equivalent to the more formal
28
+ requirement that “`x` is a value of a type meeting the requirements of
29
+ the specified iterator type”.
30
 
31
+ Throughout [[rand]], any constructor that can be called with a single
32
+ argument and that meets a requirement specified in this subclause shall
33
+ be declared `explicit`.
34