 title="Opam_stats" rel="Chapter" href="Opam_stats.html">
<link title="OpamCudf" rel="Chapter" href="OpamCudf.html">
<link title="OpamHeuristic" rel="Chapter" href="OpamHeuristic.html">
<link title="OpamSolver" rel="Chapter" href="OpamSolver.html"><link title="File locking function" rel="Section" href="#2_Filelockingfunction">
<link title="Misc" rel="Section" href="#2_Misc">
<title>OpamSystem</title>
</head>
<body>
<div class="navbar"><a class="pre" href="OpamSwitch.html" title="OpamSwitch">Previous</a>
&nb