@@ -1275,7 +1275,7 @@ val tup3 :
1275
1275
'b arbitrary ->
1276
1276
'c arbitrary ->
1277
1277
('a * 'b * 'c ) arbitrary
1278
- (* * Combines two generators into a 3-tuple generator.
1278
+ (* * Combines three generators into a 3-tuple generator.
1279
1279
Order of elements can matter (w.r.t shrinking, see {!Shrink.tup2})
1280
1280
Prints as many elements as available printers *)
1281
1281
@@ -1285,7 +1285,7 @@ val tup4 :
1285
1285
'c arbitrary ->
1286
1286
'd arbitrary ->
1287
1287
('a * 'b * 'c * 'd ) arbitrary
1288
- (* * Combines two generators into a 4-tuple generator.
1288
+ (* * Combines four generators into a 4-tuple generator.
1289
1289
Order of elements can matter (w.r.t shrinking, see {!Shrink.tup2})
1290
1290
Prints as many elements as available printers *)
1291
1291
@@ -1295,7 +1295,7 @@ val tup5 : 'a arbitrary ->
1295
1295
'd arbitrary ->
1296
1296
'e arbitrary ->
1297
1297
('a * 'b * 'c * 'd * 'e ) arbitrary
1298
- (* * Combines two generators into a 5-tuple generator.
1298
+ (* * Combines five generators into a 5-tuple generator.
1299
1299
Order of elements can matter (w.r.t shrinking, see {!Shrink.tup2})
1300
1300
Prints as many elements as available printers *)
1301
1301
@@ -1307,7 +1307,7 @@ val tup6 :
1307
1307
'e arbitrary ->
1308
1308
'f arbitrary ->
1309
1309
('a * 'b * 'c * 'd * 'e * 'f ) arbitrary
1310
- (* * Combines two generators into a 6-tuple generator.
1310
+ (* * Combines six generators into a 6-tuple generator.
1311
1311
Order of elements can matter (w.r.t shrinking, see {!Shrink.tup2})
1312
1312
Prints as many elements as available printers *)
1313
1313
@@ -1320,7 +1320,7 @@ val tup7 :
1320
1320
'f arbitrary ->
1321
1321
'g arbitrary ->
1322
1322
('a * 'b * 'c * 'd * 'e * 'f * 'g ) arbitrary
1323
- (* * Combines two generators into a 7-tuple generator.
1323
+ (* * Combines seven generators into a 7-tuple generator.
1324
1324
Order of elements can matter (w.r.t shrinking, see {!Shrink.tup2})
1325
1325
Prints as many elements as available printers *)
1326
1326
@@ -1334,7 +1334,7 @@ val tup8 :
1334
1334
'g arbitrary ->
1335
1335
'h arbitrary ->
1336
1336
('a * 'b * 'c * 'd * 'e * 'f * 'g * 'h ) arbitrary
1337
- (* * Combines two generators into a 8-tuple generator.
1337
+ (* * Combines eight generators into a 8-tuple generator.
1338
1338
Order of elements can matter (w.r.t shrinking, see {!Shrink.tup2})
1339
1339
Prints as many elements as available printers *)
1340
1340
@@ -1349,7 +1349,7 @@ val tup9 :
1349
1349
'h arbitrary ->
1350
1350
'i arbitrary ->
1351
1351
('a * 'b * 'c * 'd * 'e * 'f * 'g * 'h * 'i ) arbitrary
1352
- (* * Combines two generators into a 9-tuple generator.
1352
+ (* * Combines nine generators into a 9-tuple generator.
1353
1353
Order of elements can matter (w.r.t shrinking, see {!Shrink.tup2})
1354
1354
Prints as many elements as available printers *)
1355
1355
0 commit comments