<!DOCTYPE html> <html> <head> <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII"> <meta name="generator" content="hevea 2.00"> <link rel="stylesheet" type="text/css" href="manual.css"> <title>The standard library</title> </head> <body> <a href="core.html"><img src="previous_motif.gif" alt="Previous"></a> <a href="index.html"><img src="contents_motif.gif" alt="Up"></a> <a href="libunix.html"><img src="next_motif.gif" alt="Next"></a> <hr> <h1 class="chapter" id="sec474">Chapter 21  The standard library</h1> <ul> <li><a href="stdlib.html#sec475">Conventions</a> </li></ul> <p> <a id="c:stdlib"></a></p><p>This chapter describes the functions provided by the OCaml standard library. The modules from the standard library are automatically linked with the user’s object code files by the <span class="c007">ocamlc</span> command. Hence, these modules can be used in standalone programs without having to add any <span class="c007">.cmo</span> file on the command line for the linking phase. Similarly, in interactive use, these globals can be used in toplevel phrases without having to load any <span class="c007">.cmo</span> file in memory.</p><p>Unlike the <span class="c007">Pervasives</span> module from the core library, the modules from the standard library are not automatically “opened” when a compilation starts, or when the toplevel system is launched. Hence it is necessary to use qualified identifiers to refer to the functions provided by these modules, or to add <span class="c007">open</span> directives.</p><p><a id="stdlib:top"></a></p><h2 class="section" id="sec475">Conventions</h2> <p>For easy reference, the modules are listed below in alphabetical order of module names. For each module, the declarations from its signature are printed one by one in typewriter font, followed by a short comment. All modules and the identifiers they export are indexed at the end of this report.</p><ul class="ftoc2"><li class="li-links"> <a href="libref/Arg.html">Module <span class="c007">Arg</span>: parsing of command line arguments</a> </li><li class="li-links"><a href="libref/Array.html">Module <span class="c007">Array</span>: array operations</a> </li><li class="li-links"><a href="libref/ArrayLabels.html">Module <span class="c007">ArrayLabels</span>: array operations (with labels)</a> </li><li class="li-links"><a href="libref/Buffer.html">Module <span class="c007">Buffer</span>: extensible buffers</a> </li><li class="li-links"><a href="libref/Bytes.html">Module <span class="c007">Bytes</span>: byte sequences</a> </li><li class="li-links"><a href="libref/Callback.html">Module <span class="c007">Callback</span>: registering OCaml values with the C runtime</a> </li><li class="li-links"><a href="libref/Char.html">Module <span class="c007">Char</span>: character operations</a> </li><li class="li-links"><a href="libref/Complex.html">Module <span class="c007">Complex</span>: Complex numbers</a> </li><li class="li-links"><a href="libref/Digest.html">Module <span class="c007">Digest</span>: MD5 message digest</a> </li><li class="li-links"><a href="libref/Filename.html">Module <span class="c007">Filename</span>: operations on file names</a> </li><li class="li-links"><a href="libref/Format.html">Module <span class="c007">Format</span>: pretty printing</a> </li><li class="li-links"><a href="libref/Gc.html">Module <span class="c007">Gc</span>: memory management control and statistics; finalized values</a> </li><li class="li-links"><a href="libref/Genlex.html">Module <span class="c007">Genlex</span>: a generic lexical analyzer</a> </li><li class="li-links"><a href="libref/Hashtbl.html">Module <span class="c007">Hashtbl</span>: hash tables and hash functions</a> </li><li class="li-links"><a href="libref/Int32.html">Module <span class="c007">Int32</span>: 32-bit integers</a> </li><li class="li-links"><a href="libref/Int64.html">Module <span class="c007">Int64</span>: 64-bit integers</a> </li><li class="li-links"><a href="libref/Lazy.html">Module <span class="c007">Lazy</span>: deferred computations</a> </li><li class="li-links"><a href="libref/Lexing.html">Module <span class="c007">Lexing</span>: the run-time library for lexers generated by <span class="c007">ocamllex</span></a> </li><li class="li-links"><a href="libref/List.html">Module <span class="c007">List</span>: list operations</a> </li><li class="li-links"><a href="libref/ListLabels.html">Module <span class="c007">ListLabels</span>: list operations (with labels)</a> </li><li class="li-links"><a href="libref/Map.html">Module <span class="c007">Map</span>: association tables over ordered types</a> </li><li class="li-links"><a href="libref/Marshal.html">Module <span class="c007">Marshal</span>: marshaling of data structures</a> </li><li class="li-links"><a href="libref/MoreLabels.html">Module <span class="c007">MoreLabels</span>: Include modules <span class="c007">Hashtbl</span>, <span class="c007">Map</span> and <span class="c007">Set</span> with labels</a> </li><li class="li-links"><a href="libref/Nativeint.html">Module <span class="c007">Nativeint</span>: processor-native integers</a> </li><li class="li-links"><a href="libref/Oo.html">Module <span class="c007">Oo</span>: object-oriented extension</a> </li><li class="li-links"><a href="libref/Parsing.html">Module <span class="c007">Parsing</span>: the run-time library for parsers generated by <span class="c007">ocamlyacc</span></a> </li><li class="li-links"><a href="libref/Printexc.html">Module <span class="c007">Printexc</span>: facilities for printing exceptions</a> </li><li class="li-links"><a href="libref/Printf.html">Module <span class="c007">Printf</span>: formatting printing functions</a> </li><li class="li-links"><a href="libref/Queue.html">Module <span class="c007">Queue</span>: first-in first-out queues</a> </li><li class="li-links"><a href="libref/Random.html">Module <span class="c007">Random</span>: pseudo-random number generator (PRNG)</a> </li><li class="li-links"><a href="libref/Scanf.html">Module <span class="c007">Scanf</span>: formatted input functions</a> </li><li class="li-links"><a href="libref/Set.html">Module <span class="c007">Set</span>: sets over ordered types</a> </li><li class="li-links"><a href="libref/Sort.html">Module <span class="c007">Sort</span>: sorting and merging lists</a> </li><li class="li-links"><a href="libref/Stack.html">Module <span class="c007">Stack</span>: last-in first-out stacks</a> </li><li class="li-links"><a href="libref/StdLabels.html">Module <span class="c007">StdLabels</span>: Include modules <span class="c007">Array</span>, <span class="c007">List</span> and <span class="c007">String</span> with labels</a> </li><li class="li-links"><a href="libref/Stream.html">Module <span class="c007">Stream</span>: streams and parsers</a> </li><li class="li-links"><a href="libref/String.html">Module <span class="c007">String</span>: string operations</a> </li><li class="li-links"><a href="libref/StringLabels.html">Module <span class="c007">StringLabels</span>: string operations (with labels)</a> </li><li class="li-links"><a href="libref/Sys.html">Module <span class="c007">Sys</span>: system interface</a> </li><li class="li-links"><a href="libref/Weak.html">Module <span class="c007">Weak</span>: arrays of weak pointers</a> </li></ul> <hr> <a href="core.html"><img src="previous_motif.gif" alt="Previous"></a> <a href="index.html"><img src="contents_motif.gif" alt="Up"></a> <a href="libunix.html"><img src="next_motif.gif" alt="Next"></a> </body> </html>