/usr/share/doc/libdose3-ocaml-dev/dose3.docdir/Flatten.html is in libdose3-ocaml-dev 3.3~beta1-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 | <!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="previous" href="Diagnostic_int.html">
<link rel="next" href="Version.html">
<link rel="Up" href="index.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 class attributes" rel=Appendix href="index_attributes.html">
<link title="Index of class methods" rel=Appendix href="index_methods.html">
<link title="Index of classes" rel=Appendix href="index_classes.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="CudfAdd" rel="Chapter" href="CudfAdd.html">
<link title="EdosSolver" rel="Chapter" href="EdosSolver.html">
<link title="Input" rel="Chapter" href="Input.html">
<link title="Util" rel="Chapter" href="Util.html">
<link title="Depsolver" rel="Chapter" href="Depsolver.html">
<link title="Diagnostic" rel="Chapter" href="Diagnostic.html">
<link title="Depsolver_int" rel="Chapter" href="Depsolver_int.html">
<link title="Diagnostic_int" rel="Chapter" href="Diagnostic_int.html">
<link title="Flatten" rel="Chapter" href="Flatten.html">
<link title="Version" rel="Chapter" href="Version.html">
<link title="Debcudf" rel="Chapter" href="Debcudf.html">
<link title="Packages" rel="Chapter" href="Packages.html">
<link title="Sources" rel="Chapter" href="Sources.html">
<link title="Release" rel="Chapter" href="Release.html">
<link title="Apt" rel="Chapter" href="Apt.html">
<link title="Format822" rel="Chapter" href="Format822.html">
<link title="Evolution" rel="Chapter" href="Evolution.html">
<link title="Edsp" rel="Chapter" href="Edsp.html">
<link title="Debutil" rel="Chapter" href="Debutil.html">
<link title="Distcheck" rel="Chapter" href="Distcheck.html">
<link title="Ceve" rel="Chapter" href="Ceve.html">
<link title="Apt-cudf" rel="Chapter" href="Apt-cudf.html">
<link title="Outdated" rel="Chapter" href="Outdated.html">
<link title="Challenged" rel="Chapter" href="Challenged.html">
<link title="StdDebian" rel="Chapter" href="StdDebian.html">
<link title="StdDebug" rel="Chapter" href="StdDebug.html">
<link title="StdLoaders" rel="Chapter" href="StdLoaders.html">
<link title="StdOptions" rel="Chapter" href="StdOptions.html">
<link title="StdUtils" rel="Chapter" href="StdUtils.html">
<link title="Strongdeps" rel="Chapter" href="Strongdeps.html">
<link title="Strongconflicts" rel="Chapter" href="Strongconflicts.html">
<link title="Strongdeps_int" rel="Chapter" href="Strongdeps_int.html">
<link title="Strongconflicts_int" rel="Chapter" href="Strongconflicts_int.html">
<link title="Defaultgraphs" rel="Chapter" href="Defaultgraphs.html">
<link title="Statistics" rel="Chapter" href="Statistics.html"><title>Flatten</title>
</head>
<body>
<div class="navbar"><a class="pre" href="Diagnostic_int.html" title="Diagnostic_int">Previous</a>
<a class="up" href="index.html" title="Index">Up</a>
<a class="post" href="Version.html" title="Version">Next</a>
</div>
<h1>Module <a href="type_Flatten.html">Flatten</a></h1>
<pre><span class="keyword">module</span> Flatten: <code class="code">sig</code> <a href="Flatten.html">..</a> <code class="code">end</code></pre><hr width="100%">
<pre><span class="keyword">include</span> struct ... end</pre>
<pre><span id="VALprint_list"><span class="keyword">val</span> print_list</span> : <code class="type">Format.formatter -><br> (Format.formatter -> 'a -> unit) -> string -> 'a list -> unit</code></pre>
<pre><span class="keyword">module</span> <a href="Flatten.Package.html">Package</a>: <code class="code">sig</code> <a href="Flatten.Package.html">..</a> <code class="code">end</code></pre>
<pre><span class="keyword">module</span> <a href="Flatten.PSet.html">PSet</a>: <code class="type">Set.Make</code><code class="code">(</code><code class="type"><a href="Flatten.Package.html">Package</a></code><code class="code">)</code></pre>
<pre><span id="VALprint_set"><span class="keyword">val</span> print_set</span> : <code class="type">Format.formatter -><br> (Format.formatter -> PSet.elt -> unit) -><br> string -> PSet.t -> unit</code></pre>
<pre><span id="VALpset_of_lst"><span class="keyword">val</span> pset_of_lst</span> : <code class="type">PSet.elt list -> PSet.t</code></pre>
<pre><span id="VALpset_map"><span class="keyword">val</span> pset_map</span> : <code class="type">(PSet.elt -> PSet.elt) -> PSet.t -> PSet.t</code></pre>
<pre><span class="keyword">module</span> <a href="Flatten.PTbl.html">PTbl</a>: <code class="code">sig</code> <a href="Flatten.PTbl.html">..</a> <code class="code">end</code></pre>
<pre><span class="keyword">module</span> <a href="Flatten.Disj.html">Disj</a>: <code class="code">sig</code> <a href="Flatten.Disj.html">..</a> <code class="code">end</code></pre>
<pre><span class="keyword">module</span> <a href="Flatten.CSet.html">CSet</a>: <code class="type">Set.Make</code><code class="code">(</code><code class="type"><a href="Flatten.Disj.html">Disj</a></code><code class="code">)</code></pre>
<pre><span class="keyword">module</span> <a href="Flatten.Formula.html">Formula</a>: <code class="code">sig</code> <a href="Flatten.Formula.html">..</a> <code class="code">end</code></pre>
<pre><span class="keyword">module</span> <a href="Flatten.Conflict.html">Conflict</a>: <code class="code">sig</code> <a href="Flatten.Conflict.html">..</a> <code class="code">end</code></pre>
<pre><span id="VALsimplify_formula"><span class="keyword">val</span> simplify_formula</span> : <code class="type">PSet.t array -> PSet.t list -> PSet.t list</code></pre>
<pre><span id="VALfilter_conflicts"><span class="keyword">val</span> filter_conflicts</span> : <code class="type">PSet.t array -> 'a -> PSet.t list -> PSet.t list</code></pre>
<pre><span id="VALfilter_conflicts"><span class="keyword">val</span> filter_conflicts</span> : <code class="type">PSet.t array -> 'a -> PSet.t list -> PSet.t list</code></pre>
<pre><span id="VALflatten_deps"><span class="keyword">val</span> flatten_deps</span> : <code class="type">(PSet.elt, PSet.t list) ExtLib.Hashtbl.t -><br> PSet.t list array -><br> PSet.t array -><br> PSet.elt list -><br> PSet.t list -> PSet.t list * PSet.t</code></pre>
<pre><span id="VALflatten_dep"><span class="keyword">val</span> flatten_dep</span> : <code class="type">(PSet.elt, PSet.t list) ExtLib.Hashtbl.t -><br> PSet.t list array -><br> PSet.t array -><br> PSet.elt list -><br> PSet.elt -> PSet.t list * PSet.t</code></pre>
<pre><span id="VALflatten_dependencies"><span class="keyword">val</span> flatten_dependencies</span> : <code class="type">int -><br> PSet.t list array -><br> PSet.t array -> PSet.t list array</code></pre>
<pre><span id="VALremove_self_conflicts"><span class="keyword">val</span> remove_self_conflicts</span> : <code class="type">PSet.t list array -><br> PSet.t array -> PSet.t list array</code></pre>
<pre><span id="VALremove_redundant_conflicts"><span class="keyword">val</span> remove_redundant_conflicts</span> : <code class="type">PSet.t list array -><br> PSet.t array -> PSet.t list array</code></pre>
<pre><span id="VALmaybe_remove"><span class="keyword">val</span> maybe_remove</span> : <code class="type">PSet.t list array -><br> PSet.t array -> 'a -> 'b -> PSet.t -> bool</code></pre>
<pre><span id="VALis_composition"><span class="keyword">val</span> is_composition</span> : <code class="type">PSet.t list array -><br> PSet.elt -> PSet.t list -> PSet.t -> bool</code></pre>
<pre><span id="VALremove_deps"><span class="keyword">val</span> remove_deps</span> : <code class="type">PSet.t list array -><br> PSet.t array -> PSet.t list array</code></pre>
<pre><span id="VALrepository"><span class="keyword">val</span> repository</span> : <code class="type">Cudf.universe -> PSet.t list array * PSet.t array</code></pre>
<pre><span id="VALflatten_repository"><span class="keyword">val</span> flatten_repository</span> : <code class="type">int -><br> PSet.t list array * PSet.t array -><br> PSet.t list array * PSet.t array</code></pre></body></html>
|