Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
tree: 20c814901a
Fetching contributors…

Cannot retrieve contributors at this time

56 lines (56 sloc) 3.298 kb
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<link rel="Start" href="index.html">
<link rel="next" href="OpamMisc.ABSTRACT.Map.html">
<link rel="Up" href="OpamMisc.ABSTRACT.html">
<link title="Index of types" rel=Appendix href="index_types.html">
<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
<link title="Index of values" rel=Appendix href="index_values.html">
<link title="Index of modules" rel=Appendix href="index_modules.html">
<link title="Index of module types" rel=Appendix href="index_module_types.html">
<link title="OpamAlias" rel="Chapter" href="OpamAlias.html">
<link title="OpamClient" rel="Chapter" href="OpamClient.html">
<link title="OpamCompiler" rel="Chapter" href="OpamCompiler.html">
<link title="OpamFile" rel="Chapter" href="OpamFile.html">
<link title="OpamFilename" rel="Chapter" href="OpamFilename.html">
<link title="OpamFormat" rel="Chapter" href="OpamFormat.html">
<link title="OpamFormula" rel="Chapter" href="OpamFormula.html">
<link title="OpamMisc" rel="Chapter" href="OpamMisc.html">
<link title="OpamPackage" rel="Chapter" href="OpamPackage.html">
<link title="OpamParallel" rel="Chapter" href="OpamParallel.html">
<link title="OpamPath" rel="Chapter" href="OpamPath.html">
<link title="OpamProcess" rel="Chapter" href="OpamProcess.html">
<link title="OpamRepository" rel="Chapter" href="OpamRepository.html">
<link title="OpamSolver" rel="Chapter" href="OpamSolver.html">
<link title="OpamSystem" rel="Chapter" href="OpamSystem.html">
<link title="OpamTypes" rel="Chapter" href="OpamTypes.html">
<link title="OpamVariable" rel="Chapter" href="OpamVariable.html">
<link title="OpamVersion" rel="Chapter" href="OpamVersion.html"><title>OpamMisc.ABSTRACT.Set</title>
</head>
<body>
<div class="navbar">&nbsp;<a href="OpamMisc.ABSTRACT.html">Up</a>
&nbsp;<a href="OpamMisc.ABSTRACT.Map.html">Next</a>
</div>
<center><h1>Module <a href="type_OpamMisc.ABSTRACT.Set.html">OpamMisc.ABSTRACT.Set</a></h1></center>
<br>
<pre><span class="keyword">module</span> Set: <code class="type"><a href="OpamMisc.SET.html">OpamMisc.SET</a></code><code class="type"> with type elt = t</code></pre><hr width="100%">
<pre><span class="keyword">include</span> Set.S</pre>
<pre><span id="VALmap"><span class="keyword">val</span> map</span> : <code class="type">(elt -> elt) -> t -> t</code></pre><div class="info">
auto-map<br>
</div>
<pre><span id="VALchoose_one"><span class="keyword">val</span> choose_one</span> : <code class="type">t -> elt</code></pre><div class="info">
Return one element. Fail if the set is not a singleton.<br>
</div>
<pre><span id="VALof_list"><span class="keyword">val</span> of_list</span> : <code class="type">elt list -> t</code></pre><div class="info">
Make a set from a list<br>
</div>
<pre><span id="VALto_string"><span class="keyword">val</span> to_string</span> : <code class="type">t -> string</code></pre><div class="info">
Pretty-print a set<br>
</div>
<pre><span id="VALfind"><span class="keyword">val</span> find</span> : <code class="type">(elt -> bool) -> t -> elt</code></pre><div class="info">
Find an element in the list<br>
</div>
</body></html>
Jump to Line
Something went wrong with that request. Please try again.