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