minfo" rel="Chapter" href="Terminfo.html">
<link title="Warnings" rel="Chapter" href="Warnings.html"><title>Misc</title>
<script src="search.js"></script><script src="scroll.js"></script><link rel="shortcut icon" type="image/x-icon" href="../../favicon.ico"></head>
<body><div class="api"><header><nav class="toc brand"><a class="brand" href="https://ocaml.org/"><img src="colour-logo-gray.svg" class="svg" alt="OCaml"></a></nav><nav class="toc"><div class="toc_version"><a id="version-select" href="../index.htm