Update coq-lsp doc to 0.1.8+8.16.

coq-lsp/Coq/Ast/index.html

@@ -3,4 +3,4 @@
   <span>st:<a href="../State/index.html#type-t">State.t</a> <span class="arrow">&#45;&gt;</span></span>
   <span>lines:<span>string array</span> <span class="arrow">&#45;&gt;</span></span>
   <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span>
-  <span><span><a href="../../Lang/Ast/Info/index.html#type-t">Lang.Ast.Info.t</a> list</span> option</span></span></code></div><div class="spec-doc"><p><code>make_info ~st ast</code> Compute info about a possible definition in <code>ast</code>, we need <code>~st</code> to compute the type.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-print"><a href="#val-print" class="anchor"></a><code><span><span class="keyword">val</span> print : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span class="xref-unresolved">Pp</span>.t</span></code></div><div class="spec-doc"><p>Printing</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pp_loc"><a href="#val-pp_loc" class="anchor"></a><code><span><span class="keyword">val</span> pp_loc : <span>?print_file:bool <span class="arrow">&#45;&gt;</span></span> <span><span class="xref-unresolved">Stdlib</span>.Format.formatter <span class="arrow">&#45;&gt;</span></span> <span><span class="xref-unresolved">Loc</span>.t <span class="arrow">&#45;&gt;</span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-loc_to_string"><a href="#val-loc_to_string" class="anchor"></a><code><span><span class="keyword">val</span> loc_to_string : <span>?print_file:bool <span class="arrow">&#45;&gt;</span></span> <span><span class="xref-unresolved">Loc</span>.t <span class="arrow">&#45;&gt;</span></span> string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-marshal_in"><a href="#val-marshal_in" class="anchor"></a><code><span><span class="keyword">val</span> marshal_in : <span><span class="xref-unresolved">Stdlib</span>.in_channel <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div><div class="spec-doc"><p>Unused for now</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-marshal_out"><a href="#val-marshal_out" class="anchor"></a><code><span><span class="keyword">val</span> marshal_out : <span><span class="xref-unresolved">Stdlib</span>.out_channel <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-to_coq"><a href="#val-to_coq" class="anchor"></a><code><span><span class="keyword">val</span> to_coq : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span class="xref-unresolved">Vernacexpr</span>.vernac_control</span></code></div><div class="spec-doc"><p>Internal, will go away once the <code>Lang.t</code> interface is ready</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-of_coq"><a href="#val-of_coq" class="anchor"></a><code><span><span class="keyword">val</span> of_coq : <span><span class="xref-unresolved">Vernacexpr</span>.vernac_control <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div></div></body></html>
+  <span><span><a href="../../Lang/Ast/Info/index.html#type-t">Lang.Ast.Info.t</a> list</span> option</span></span></code></div><div class="spec-doc"><p><code>make_info ~st ast</code> Compute info about a possible definition in <code>ast</code>, we need <code>~st</code> to compute the type.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-print"><a href="#val-print" class="anchor"></a><code><span><span class="keyword">val</span> print : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span class="xref-unresolved">Pp</span>.t</span></code></div><div class="spec-doc"><p>Printing</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pp_loc"><a href="#val-pp_loc" class="anchor"></a><code><span><span class="keyword">val</span> pp_loc : <span>?print_file:bool <span class="arrow">&#45;&gt;</span></span> <span><span class="xref-unresolved">Stdlib</span>.Format.formatter <span class="arrow">&#45;&gt;</span></span> <span><span class="xref-unresolved">Loc</span>.t <span class="arrow">&#45;&gt;</span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-loc_to_string"><a href="#val-loc_to_string" class="anchor"></a><code><span><span class="keyword">val</span> loc_to_string : <span>?print_file:bool <span class="arrow">&#45;&gt;</span></span> <span><span class="xref-unresolved">Loc</span>.t <span class="arrow">&#45;&gt;</span></span> string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-marshal_in"><a href="#val-marshal_in" class="anchor"></a><code><span><span class="keyword">val</span> marshal_in : <span><span class="xref-unresolved">Stdlib</span>.in_channel <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div><div class="spec-doc"><p>Unused for now</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-marshal_out"><a href="#val-marshal_out" class="anchor"></a><code><span><span class="keyword">val</span> marshal_out : <span><span class="xref-unresolved">Stdlib</span>.out_channel <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-to_coq"><a href="#val-to_coq" class="anchor"></a><code><span><span class="keyword">val</span> to_coq : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span class="xref-unresolved">Vernacexpr</span>.vernac_control</span></code></div><div class="spec-doc"><p>Internal, will go away once the <code>Lang.t</code> interface is ready</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-of_coq"><a href="#val-of_coq" class="anchor"></a><code><span><span class="keyword">val</span> of_coq : <span><span class="xref-unresolved">Vernacexpr</span>.vernac_control <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-ud"><a href="#val-ud" class="anchor"></a><code><span><span class="keyword">val</span> ud : <span><span>(<span><span class="xref-unresolved">Loc</span>.t <span class="arrow">&#45;&gt;</span></span> <span class="xref-unresolved">Loc</span>.t)</span> <span class="xref-unresolved">Stdlib</span>.ref</span></span></code></div></div></div></body></html>

coq-lsp/Coq/Parsing/Parsable/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Parsable (coq-lsp.Coq.Parsing.Parsable)</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">coq-lsp</a> &#x00BB; <a href="../../index.html">Coq</a> &#x00BB; <a href="../index.html">Parsing</a> &#x00BB; Parsable</nav><header class="odoc-preamble"><h1>Module <code><span>Parsing.Parsable</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-make"><a href="#val-make" class="anchor"></a><code><span><span class="keyword">val</span> make : <span>?loc:<span class="xref-unresolved">Loc</span>.t <span class="arrow">&#45;&gt;</span></span> <span><span>char <span class="xref-unresolved">Gramlib</span>.Stream.t</span> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-loc"><a href="#val-loc" class="anchor"></a><code><span><span class="keyword">val</span> loc : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span class="xref-unresolved">Loc</span>.t</span></code></div></div></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Parsable (coq-lsp.Coq.Parsing.Parsable)</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">coq-lsp</a> &#x00BB; <a href="../../index.html">Coq</a> &#x00BB; <a href="../index.html">Parsing</a> &#x00BB; Parsable</nav><header class="odoc-preamble"><h1>Module <code><span>Parsing.Parsable</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-make"><a href="#val-make" class="anchor"></a><code><span><span class="keyword">val</span> make : <span>?loc:<span class="xref-unresolved">Loc</span>.t <span class="arrow">&#45;&gt;</span></span> <span><span>char <span class="xref-unresolved">Stream</span>.t</span> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-loc"><a href="#val-loc" class="anchor"></a><code><span><span class="keyword">val</span> loc : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span class="xref-unresolved">Loc</span>.t</span></code></div></div></div></body></html>

coq-lsp/Coq/Parsing/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Parsing (coq-lsp.Coq.Parsing)</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">coq-lsp</a> &#x00BB; <a href="../index.html">Coq</a> &#x00BB; Parsing</nav><header class="odoc-preamble"><h1>Module <code><span>Coq.Parsing</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec module anchored" id="module-Parsable"><a href="#module-Parsable" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Parsable/index.html">Parsable</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-parse"><a href="#val-parse" class="anchor"></a><code><span><span class="keyword">val</span> parse : <span>st:<a href="../State/index.html#type-t">State.t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="Parsable/index.html#type-t">Parsable.t</a> <span class="arrow">&#45;&gt;</span></span> <span><span>(<span><a href="../Ast/index.html#type-t">Ast.t</a> option</span>, <span class="xref-unresolved">Loc</span>.t)</span> <a href="../Protect/E/index.html#type-t">Protect.E.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-discard_to_dot"><a href="#val-discard_to_dot" class="anchor"></a><code><span><span class="keyword">val</span> discard_to_dot : <span><a href="Parsable/index.html#type-t">Parsable.t</a> <span class="arrow">&#45;&gt;</span></span> unit</span></code></div></div></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Parsing (coq-lsp.Coq.Parsing)</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">coq-lsp</a> &#x00BB; <a href="../index.html">Coq</a> &#x00BB; Parsing</nav><header class="odoc-preamble"><h1>Module <code><span>Coq.Parsing</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec module anchored" id="module-Parsable"><a href="#module-Parsable" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Parsable/index.html">Parsable</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-parse"><a href="#val-parse" class="anchor"></a><code><span><span class="keyword">val</span> parse : <span>st:<a href="../State/index.html#type-t">State.t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="Parsable/index.html#type-t">Parsable.t</a> <span class="arrow">&#45;&gt;</span></span> <span><span>(<span><a href="../Ast/index.html#type-t">Ast.t</a> option</span>, <span class="xref-unresolved">Loc</span>.t)</span> <a href="../Protect/E/index.html#type-t">Protect.E.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-discard_to_dot"><a href="#val-discard_to_dot" class="anchor"></a><code><span><span class="keyword">val</span> discard_to_dot : <span><a href="Parsable/index.html#type-t">Parsable.t</a> <span class="arrow">&#45;&gt;</span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-bp_"><a href="#val-bp_" class="anchor"></a><code><span><span class="keyword">val</span> bp_ : <span>int <span class="xref-unresolved">Stdlib</span>.ref</span></span></code></div></div></div></body></html>

index.html

@@ -11,7 +11,7 @@
       <div class="by-name">
       <h2>OCaml package documentation</h2>
       <ol>
-      <li><a href="coq-lsp/index.html">coq-lsp</a> <span class="version">0.1.8+8.17</span></li>
+      <li><a href="coq-lsp/index.html">coq-lsp</a> <span class="version">0.1.8+8.16</span></li>
       </ol>
       </div>
     </main>