You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Equivalent to <codeclass="code">fun r -> r := pred !r</code>.<br>
1406
1406
</div>
1407
1407
<br>
1408
-
<h6id="6_Operationsonformatstrings">Operations on format strings</h6><br>
1409
-
<br>
1410
-
<h6id="6_Operationsonformatstrings">Operations on format strings</h6><br>
1411
-
<br>
1412
-
Format strings are character strings with special lexical conventions
1413
-
that defines the functionality of formatted input/output functions. Format
1414
-
strings are used to read data with formatted input functions from module
1415
-
<ahref="Scanf.html"><codeclass="code">Scanf</code></a> and to print data with formatted output functions from modules
1416
-
<ahref="Printf.html"><codeclass="code">Printf</code></a> and <ahref="Format.html"><codeclass="code">Format</code></a>.
1417
-
<p>
1418
-
1419
-
Format strings are made of three kinds of entities:</p><ul>
1420
-
<li><em>conversions specifications</em>, introduced by the special character <codeclass="code">'%'</code>
1421
-
followed by one or more characters specifying what kind of argument to
1422
-
read or print,</li>
1423
-
<li><em>formatting indications</em>, introduced by the special character <codeclass="code">'@'</code>
1424
-
followed by one or more characters specifying how to read or print the
1425
-
argument,</li>
1426
-
<li><em>plain characters</em> that are regular characters with usual lexical
1427
-
conventions. Plain characters specify string literals to be read in the
1428
-
input or printed in the output.</li>
1429
-
</ul>
1430
-
1431
-
There is an additional lexical rule to escape the special characters <codeclass="code">'%'</code>
1432
-
and <codeclass="code">'@'</code> in format strings: if a special character follows a <codeclass="code">'%'</code>
1433
-
character, it is treated as a plain character. In other words, <codeclass="code">"%%"</code> is
1434
-
considered as a plain <codeclass="code">'%'</code> and <codeclass="code">"%@"</code> as a plain <codeclass="code">'@'</code>.
1435
-
<p>
1436
-
1437
-
For more information about conversion specifications and formatting
1438
-
indications available, read the documentation of modules <ahref="Scanf.html"><codeclass="code">Scanf</code></a>,
1439
-
<ahref="Printf.html"><codeclass="code">Printf</code></a> and <ahref="Format.html"><codeclass="code">Format</code></a>.<br>
1440
-
<br>
1441
1408
</p><h6id="6_Operationsonformatstrings">Operations on format strings</h6><br>
1442
1409
<br>
1443
1410
Format strings are character strings with special lexical conventions
0 commit comments