Update conan doc to 0.0.3.

mirage · Apr 28, 2023 · b2415fc · b2415fc
1 parent 5b85c66
commit b2415fc
Show file tree

Hide file tree

Showing 2,076 changed files with 1,018 additions and 1,907 deletions.
diff --git a/_odoc_support/fonts/KaTeX_AMS-Regular.woff2 b/_odoc_support/fonts/KaTeX_AMS-Regular.woff2
diff --git a/_odoc_support/fonts/KaTeX_Caligraphic-Bold.woff2 b/_odoc_support/fonts/KaTeX_Caligraphic-Bold.woff2
diff --git a/_odoc_support/fonts/KaTeX_Caligraphic-Regular.woff2 b/_odoc_support/fonts/KaTeX_Caligraphic-Regular.woff2
diff --git a/_odoc_support/fonts/KaTeX_Fraktur-Bold.woff2 b/_odoc_support/fonts/KaTeX_Fraktur-Bold.woff2
diff --git a/_odoc_support/fonts/KaTeX_Fraktur-Regular.woff2 b/_odoc_support/fonts/KaTeX_Fraktur-Regular.woff2
diff --git a/_odoc_support/fonts/KaTeX_Main-Bold.woff2 b/_odoc_support/fonts/KaTeX_Main-Bold.woff2
diff --git a/_odoc_support/fonts/KaTeX_Main-BoldItalic.woff2 b/_odoc_support/fonts/KaTeX_Main-BoldItalic.woff2
diff --git a/_odoc_support/fonts/KaTeX_Main-Italic.woff2 b/_odoc_support/fonts/KaTeX_Main-Italic.woff2
diff --git a/_odoc_support/fonts/KaTeX_Main-Regular.woff2 b/_odoc_support/fonts/KaTeX_Main-Regular.woff2
diff --git a/_odoc_support/fonts/KaTeX_Math-BoldItalic.woff2 b/_odoc_support/fonts/KaTeX_Math-BoldItalic.woff2
diff --git a/_odoc_support/fonts/KaTeX_Math-Italic.woff2 b/_odoc_support/fonts/KaTeX_Math-Italic.woff2
diff --git a/_odoc_support/fonts/KaTeX_SansSerif-Bold.woff2 b/_odoc_support/fonts/KaTeX_SansSerif-Bold.woff2
diff --git a/_odoc_support/fonts/KaTeX_SansSerif-Italic.woff2 b/_odoc_support/fonts/KaTeX_SansSerif-Italic.woff2
diff --git a/_odoc_support/fonts/KaTeX_SansSerif-Regular.woff2 b/_odoc_support/fonts/KaTeX_SansSerif-Regular.woff2
diff --git a/_odoc_support/fonts/KaTeX_Script-Regular.woff2 b/_odoc_support/fonts/KaTeX_Script-Regular.woff2
diff --git a/_odoc_support/fonts/KaTeX_Size1-Regular.woff2 b/_odoc_support/fonts/KaTeX_Size1-Regular.woff2
diff --git a/_odoc_support/fonts/KaTeX_Size2-Regular.woff2 b/_odoc_support/fonts/KaTeX_Size2-Regular.woff2
diff --git a/_odoc_support/fonts/KaTeX_Size3-Regular.woff2 b/_odoc_support/fonts/KaTeX_Size3-Regular.woff2
diff --git a/_odoc_support/fonts/KaTeX_Size4-Regular.woff2 b/_odoc_support/fonts/KaTeX_Size4-Regular.woff2
diff --git a/_odoc_support/fonts/KaTeX_Typewriter-Regular.woff2 b/_odoc_support/fonts/KaTeX_Typewriter-Regular.woff2
diff --git a/_odoc_support/highlight.pack.js b/_odoc_support/highlight.pack.js
diff --git a/_odoc_support/katex.min.css b/_odoc_support/katex.min.css
diff --git a/_odoc_support/katex.min.js b/_odoc_support/katex.min.js
diff --git a/odoc.css → _odoc_support/odoc.css b/odoc.css → _odoc_support/odoc.css
@@ -1,7 +1,7 @@
 @charset "UTF-8";
 /* Copyright (c) 2016 The odoc contributors. All rights reserved.
    Distributed under the ISC license, see terms at the end of the file.
-   odoc 2.1.0 */
+   odoc 2.2.0 */
 
 /* Fonts */
 @import url('https://fonts.googleapis.com/css?family=Fira+Mono:400,500');
@@ -419,28 +419,44 @@ pre code {
   padding: 0.35em 0.5em;
 }
 
-.def-doc {
-  margin-bottom: 10px;
+li:not(:last-child) > .def-doc {
+  margin-bottom: 15px;
 }
 
 /* Spacing between items */
 div.odoc-spec,.odoc-include {
   margin-bottom: 2em;
 }
 
-.spec.type .variant {
+.spec.type .variant p, .spec.type .record p {
+  margin: 5px;
+}
+
+.spec.type .variant, .spec.type .record {
   margin-left: 2ch;
+  list-style: none;
+  display: flex;
+  flex-wrap: wrap;
+  row-gap: 4px;
 }
-.spec.type .variant p {
-  margin: 0;
-  font-style: italic;
+
+.spec.type .record > code, .spec.type .variant > code {
+  min-width: 40%;
 }
-.spec.type .record {
-  margin-left: 2ch;
+
+.spec.type > ol {
+  margin-top: 0;
+  margin-bottom: 0;
 }
-.spec.type .record p {
-  margin: 0;
-  font-style: italic;
+
+.spec.type .record > .def-doc, .spec.type .variant > .def-doc {
+  min-width:50%;
+  padding: 0.25em 0.5em;
+  margin-left: 10%;
+  border-radius: 3px;
+  flex-grow:1;
+  background: var(--main-background);
+  box-shadow: 2px 2px 4px lightgrey;
 }
 
 div.def {
@@ -449,11 +465,6 @@ div.def {
   padding-left: 2ex;
 }
 
-div.def+div.def-doc {
-  margin-left: 1ex;
-  margin-top: 2.5px
-}
-
 div.def-doc>*:first-child {
   margin-top: 0;
 }
@@ -666,9 +677,8 @@ td.def-doc *:first-child {
 /* Mobile adjustements. */
 
 @media only screen and (max-width: 95ex) {
-  .odoc-content {
-    margin: auto;
-    padding: 2em;
+  body.odoc {
+    margin: 2em;
   }
   .odoc-toc {
     position: static;
@@ -678,6 +688,7 @@ td.def-doc *:first-child {
     border: none;
     padding: 0.2em 1em;
     border-radius: 5px;
+    margin-bottom: 2em;
   }
 }
 

diff --git a/conan-cli/index.html b/conan-cli/index.html
@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>index (conan-cli.index)</title><link rel="stylesheet" href="../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – conan-cli</nav><header class="odoc-preamble"><h1 id="conan-cli-index"><a href="#conan-cli-index" class="anchor"></a>conan-cli index</h1></header><div class="odoc-content"></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>index (conan-cli.index)</title><link rel="stylesheet" href="../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – conan-cli</nav><header class="odoc-preamble"><h1 id="conan-cli-index"><a href="#conan-cli-index" class="anchor"></a>conan-cli index</h1></header><div class="odoc-content"></div></body></html>
diff --git a/conan-database/Conan_acorn/.dune-keep → conan-database/Conan_acorn/.dummy b/conan-database/Conan_acorn/.dune-keep → conan-database/Conan_acorn/.dummy
diff --git a/conan-database/Conan_acorn/index.html b/conan-database/Conan_acorn/index.html
@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Conan_acorn (conan-database.Conan_acorn)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">conan-database</a> &#x00BB; Conan_acorn</nav><header class="odoc-preamble"><h1>Module <code><span>Conan_acorn</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value" id="val-tree" class="anchored"><a href="#val-tree" class="anchor"></a><code><span><span class="keyword">val</span> tree : <span class="xref-unresolved">Conan__Tree.t</span></span></code></div></div></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Conan_acorn (conan-database.Conan_acorn)</title><link rel="stylesheet" href="../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">conan-database</a> &#x00BB; Conan_acorn</nav><header class="odoc-preamble"><h1>Module <code><span>Conan_acorn</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-tree"><a href="#val-tree" class="anchor"></a><code><span><span class="keyword">val</span> tree : <span class="xref-unresolved">Conan__Tree.t</span></span></code></div></div></div></body></html>
diff --git a/conan-database/Conan_adi/.dune-keep → conan-database/Conan_adi/.dummy b/conan-database/Conan_adi/.dune-keep → conan-database/Conan_adi/.dummy
diff --git a/conan-database/Conan_adi/index.html b/conan-database/Conan_adi/index.html
@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Conan_adi (conan-database.Conan_adi)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">conan-database</a> &#x00BB; Conan_adi</nav><header class="odoc-preamble"><h1>Module <code><span>Conan_adi</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value" id="val-tree" class="anchored"><a href="#val-tree" class="anchor"></a><code><span><span class="keyword">val</span> tree : <span class="xref-unresolved">Conan__Tree.t</span></span></code></div></div></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Conan_adi (conan-database.Conan_adi)</title><link rel="stylesheet" href="../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">conan-database</a> &#x00BB; Conan_adi</nav><header class="odoc-preamble"><h1>Module <code><span>Conan_adi</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-tree"><a href="#val-tree" class="anchor"></a><code><span><span class="keyword">val</span> tree : <span class="xref-unresolved">Conan__Tree.t</span></span></code></div></div></div></body></html>
diff --git a/conan-database/Conan_adventure/.dune-keep → conan-database/Conan_adventure/.dummy b/conan-database/Conan_adventure/.dune-keep → conan-database/Conan_adventure/.dummy
diff --git a/conan-database/Conan_adventure/index.html b/conan-database/Conan_adventure/index.html
@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Conan_adventure (conan-database.Conan_adventure)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">conan-database</a> &#x00BB; Conan_adventure</nav><header class="odoc-preamble"><h1>Module <code><span>Conan_adventure</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value" id="val-tree" class="anchored"><a href="#val-tree" class="anchor"></a><code><span><span class="keyword">val</span> tree : <span class="xref-unresolved">Conan__Tree.t</span></span></code></div></div></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Conan_adventure (conan-database.Conan_adventure)</title><link rel="stylesheet" href="../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">conan-database</a> &#x00BB; Conan_adventure</nav><header class="odoc-preamble"><h1>Module <code><span>Conan_adventure</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-tree"><a href="#val-tree" class="anchor"></a><code><span><span class="keyword">val</span> tree : <span class="xref-unresolved">Conan__Tree.t</span></span></code></div></div></div></body></html>
diff --git a/conan-database/Conan_aes/.dune-keep → conan-database/Conan_aes/.dummy b/conan-database/Conan_aes/.dune-keep → conan-database/Conan_aes/.dummy
diff --git a/conan-database/Conan_aes/index.html b/conan-database/Conan_aes/index.html
@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Conan_aes (conan-database.Conan_aes)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">conan-database</a> &#x00BB; Conan_aes</nav><header class="odoc-preamble"><h1>Module <code><span>Conan_aes</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value" id="val-tree" class="anchored"><a href="#val-tree" class="anchor"></a><code><span><span class="keyword">val</span> tree : <span class="xref-unresolved">Conan__Tree.t</span></span></code></div></div></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Conan_aes (conan-database.Conan_aes)</title><link rel="stylesheet" href="../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">conan-database</a> &#x00BB; Conan_aes</nav><header class="odoc-preamble"><h1>Module <code><span>Conan_aes</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-tree"><a href="#val-tree" class="anchor"></a><code><span><span class="keyword">val</span> tree : <span class="xref-unresolved">Conan__Tree.t</span></span></code></div></div></div></body></html>
diff --git a/conan-database/Conan_algol68/.dune-keep → conan-database/Conan_algol68/.dummy b/conan-database/Conan_algol68/.dune-keep → conan-database/Conan_algol68/.dummy
diff --git a/conan-database/Conan_algol68/index.html b/conan-database/Conan_algol68/index.html
@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Conan_algol68 (conan-database.Conan_algol68)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">conan-database</a> &#x00BB; Conan_algol68</nav><header class="odoc-preamble"><h1>Module <code><span>Conan_algol68</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value" id="val-tree" class="anchored"><a href="#val-tree" class="anchor"></a><code><span><span class="keyword">val</span> tree : <span class="xref-unresolved">Conan__Tree.t</span></span></code></div></div></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Conan_algol68 (conan-database.Conan_algol68)</title><link rel="stylesheet" href="../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">conan-database</a> &#x00BB; Conan_algol68</nav><header class="odoc-preamble"><h1>Module <code><span>Conan_algol68</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-tree"><a href="#val-tree" class="anchor"></a><code><span><span class="keyword">val</span> tree : <span class="xref-unresolved">Conan__Tree.t</span></span></code></div></div></div></body></html>
diff --git a/conan-database/Conan_allegro/.dune-keep → conan-database/Conan_allegro/.dummy b/conan-database/Conan_allegro/.dune-keep → conan-database/Conan_allegro/.dummy
diff --git a/conan-database/Conan_allegro/index.html b/conan-database/Conan_allegro/index.html
@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Conan_allegro (conan-database.Conan_allegro)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">conan-database</a> &#x00BB; Conan_allegro</nav><header class="odoc-preamble"><h1>Module <code><span>Conan_allegro</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value" id="val-tree" class="anchored"><a href="#val-tree" class="anchor"></a><code><span><span class="keyword">val</span> tree : <span class="xref-unresolved">Conan__Tree.t</span></span></code></div></div></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Conan_allegro (conan-database.Conan_allegro)</title><link rel="stylesheet" href="../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">conan-database</a> &#x00BB; Conan_allegro</nav><header class="odoc-preamble"><h1>Module <code><span>Conan_allegro</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-tree"><a href="#val-tree" class="anchor"></a><code><span><span class="keyword">val</span> tree : <span class="xref-unresolved">Conan__Tree.t</span></span></code></div></div></div></body></html>
diff --git a/conan-database/Conan_alliant/.dune-keep → conan-database/Conan_alliant/.dummy b/conan-database/Conan_alliant/.dune-keep → conan-database/Conan_alliant/.dummy
diff --git a/conan-database/Conan_alliant/index.html b/conan-database/Conan_alliant/index.html
@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Conan_alliant (conan-database.Conan_alliant)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">conan-database</a> &#x00BB; Conan_alliant</nav><header class="odoc-preamble"><h1>Module <code><span>Conan_alliant</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value" id="val-tree" class="anchored"><a href="#val-tree" class="anchor"></a><code><span><span class="keyword">val</span> tree : <span class="xref-unresolved">Conan__Tree.t</span></span></code></div></div></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Conan_alliant (conan-database.Conan_alliant)</title><link rel="stylesheet" href="../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">conan-database</a> &#x00BB; Conan_alliant</nav><header class="odoc-preamble"><h1>Module <code><span>Conan_alliant</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-tree"><a href="#val-tree" class="anchor"></a><code><span><span class="keyword">val</span> tree : <span class="xref-unresolved">Conan__Tree.t</span></span></code></div></div></div></body></html>
diff --git a/conan-database/Conan_alpha/.dune-keep → conan-database/Conan_alpha/.dummy b/conan-database/Conan_alpha/.dune-keep → conan-database/Conan_alpha/.dummy
diff --git a/conan-database/Conan_alpha/index.html b/conan-database/Conan_alpha/index.html
@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Conan_alpha (conan-database.Conan_alpha)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">conan-database</a> &#x00BB; Conan_alpha</nav><header class="odoc-preamble"><h1>Module <code><span>Conan_alpha</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value" id="val-tree" class="anchored"><a href="#val-tree" class="anchor"></a><code><span><span class="keyword">val</span> tree : <span class="xref-unresolved">Conan__Tree.t</span></span></code></div></div></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Conan_alpha (conan-database.Conan_alpha)</title><link rel="stylesheet" href="../../_odoc_support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../_odoc_support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">conan-database</a> &#x00BB; Conan_alpha</nav><header class="odoc-preamble"><h1>Module <code><span>Conan_alpha</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-tree"><a href="#val-tree" class="anchor"></a><code><span><span class="keyword">val</span> tree : <span class="xref-unresolved">Conan__Tree.t</span></span></code></div></div></div></body></html>
diff --git a/conan-database/Conan_amanda/.dune-keep → conan-database/Conan_amanda/.dummy b/conan-database/Conan_amanda/.dune-keep → conan-database/Conan_amanda/.dummy