Skip to content

Commit

Permalink
Update dns doc to 9.0.0.
Browse files Browse the repository at this point in the history
  • Loading branch information
@dinosaure
dinosaure committed Aug 26, 2024
1 parent d5437be commit 98373de
Show file tree
Hide file tree
Showing 45 changed files with 180 additions and 140 deletions.
13 changes: 6 additions & 7 deletions dns-certify/Dns_certify/index.html
View file

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion dns-certify/Dns_certify_mirage/Make/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Make (dns-certify.Dns_certify_mirage.Make)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.2"/><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">dns-certify</a> &#x00BB; <a href="../index.html">Dns_certify_mirage</a> &#x00BB; Make</nav><header class="odoc-preamble"><h1>Module <code><span>Dns_certify_mirage.Make</span></code></h1></header><nav class="odoc-toc"><ul><li><a href="#parameters">Parameters</a></li><li><a href="#signature">Signature</a></li></ul></nav><div class="odoc-content"><h2 id="parameters"><a href="#parameters" class="anchor"></a>Parameters</h2><div class="odoc-spec"><div class="spec parameter anchored" id="argument-1-R"><a href="#argument-1-R" class="anchor"></a><code><span><span class="keyword">module</span> </span><span>R</span><span> : <span class="xref-unresolved">Mirage_random</span>.S</span></code></div></div><div class="odoc-spec"><div class="spec parameter anchored" id="argument-2-P"><a href="#argument-2-P" class="anchor"></a><code><span><span class="keyword">module</span> </span><span>P</span><span> : <span class="xref-unresolved">Mirage_clock</span>.PCLOCK</span></code></div></div><div class="odoc-spec"><div class="spec parameter anchored" id="argument-3-T"><a href="#argument-3-T" class="anchor"></a><code><span><span class="keyword">module</span> </span><span>T</span><span> : <span class="xref-unresolved">Mirage_time</span>.S</span></code></div></div><div class="odoc-spec"><div class="spec parameter anchored" id="argument-4-S"><a href="#argument-4-S" class="anchor"></a><code><span><span class="keyword">module</span> </span><span>S</span><span> : <span class="xref-unresolved">Tcpip</span>.Stack.V4V6</span></code></div></div><h2 id="signature"><a href="#signature" class="anchor"></a>Signature</h2><div class="odoc-spec"><div class="spec value anchored" id="val-retrieve_certificate"><a href="#val-retrieve_certificate" class="anchor"></a><code><span><span class="keyword">val</span> retrieve_certificate :
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Make (dns-certify.Dns_certify_mirage.Make)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.2"/><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">dns-certify</a> &#x00BB; <a href="../index.html">Dns_certify_mirage</a> &#x00BB; Make</nav><header class="odoc-preamble"><h1>Module <code><span>Dns_certify_mirage.Make</span></code></h1></header><nav class="odoc-toc"><ul><li><a href="#parameters">Parameters</a></li><li><a href="#signature">Signature</a></li></ul></nav><div class="odoc-content"><h2 id="parameters"><a href="#parameters" class="anchor"></a>Parameters</h2><div class="odoc-spec"><div class="spec parameter anchored" id="argument-1-R"><a href="#argument-1-R" class="anchor"></a><code><span><span class="keyword">module</span> </span><span>R</span><span> : <span class="xref-unresolved">Mirage_crypto_rng_mirage</span>.S</span></code></div></div><div class="odoc-spec"><div class="spec parameter anchored" id="argument-2-P"><a href="#argument-2-P" class="anchor"></a><code><span><span class="keyword">module</span> </span><span>P</span><span> : <span class="xref-unresolved">Mirage_clock</span>.PCLOCK</span></code></div></div><div class="odoc-spec"><div class="spec parameter anchored" id="argument-3-T"><a href="#argument-3-T" class="anchor"></a><code><span><span class="keyword">module</span> </span><span>T</span><span> : <span class="xref-unresolved">Mirage_time</span>.S</span></code></div></div><div class="odoc-spec"><div class="spec parameter anchored" id="argument-4-S"><a href="#argument-4-S" class="anchor"></a><code><span><span class="keyword">module</span> </span><span>S</span><span> : <span class="xref-unresolved">Tcpip</span>.Stack.V4V6</span></code></div></div><h2 id="signature"><a href="#signature" class="anchor"></a>Signature</h2><div class="odoc-spec"><div class="spec value anchored" id="val-retrieve_certificate"><a href="#val-retrieve_certificate" class="anchor"></a><code><span><span class="keyword">val</span> retrieve_certificate :
<span><span class="xref-unresolved">S</span>.t <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">dns_key</span>:string <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">hostname</span>:<span><span>[ `host ]</span> <span class="xref-unresolved">Domain_name</span>.t</span> <span class="arrow">&#45;&gt;</span></span>
Expand Down
2 changes: 1 addition & 1 deletion dns-certify/Dns_certify_mirage/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Dns_certify_mirage (dns-certify.Dns_certify_mirage)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.2"/><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">dns-certify</a> &#x00BB; Dns_certify_mirage</nav><header class="odoc-preamble"><h1>Module <code><span>Dns_certify_mirage</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec module anchored" id="module-Make"><a href="#module-Make" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Make/index.html">Make</a></span><span>
(<a href="Make/index.html#argument-1-R">R</a> : <span class="xref-unresolved">Mirage_random</span>.S)
(<a href="Make/index.html#argument-1-R">R</a> : <span class="xref-unresolved">Mirage_crypto_rng_mirage</span>.S)
(<a href="Make/index.html#argument-2-P">P</a> : <span class="xref-unresolved">Mirage_clock</span>.PCLOCK)
(<a href="Make/index.html#argument-3-T">T</a> : <span class="xref-unresolved">Mirage_time</span>.S)
(<a href="Make/index.html#argument-4-S">S</a> : <span class="xref-unresolved">Tcpip</span>.Stack.V4V6) :
Expand Down
2 changes: 1 addition & 1 deletion dns-cli/Dns_cli/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Dns_cli (dns-cli.Dns_cli)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.2"/><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">dns-cli</a> &#x00BB; Dns_cli</nav><header class="odoc-preamble"><h1>Module <code><span>Dns_cli</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-connect_tcp"><a href="#val-connect_tcp" class="anchor"></a><code><span><span class="keyword">val</span> connect_tcp : <span><span class="xref-unresolved">Ipaddr</span>.t <span class="arrow">&#45;&gt;</span></span> <span>int <span class="arrow">&#45;&gt;</span></span> <span class="xref-unresolved">Unix</span>.file_descr</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-send_tcp"><a href="#val-send_tcp" class="anchor"></a><code><span><span class="keyword">val</span> send_tcp : <span><span class="xref-unresolved">Unix</span>.file_descr <span class="arrow">&#45;&gt;</span></span> <span><span class="xref-unresolved">Cstruct</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-recv_tcp"><a href="#val-recv_tcp" class="anchor"></a><code><span><span class="keyword">val</span> recv_tcp : <span><span class="xref-unresolved">Unix</span>.file_descr <span class="arrow">&#45;&gt;</span></span> <span class="xref-unresolved">Cstruct</span>.t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-setup_log"><a href="#val-setup_log" class="anchor"></a><code><span><span class="keyword">val</span> setup_log : <span>unit <span class="xref-unresolved">Cmdliner</span>.Term.t</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-ip_c"><a href="#val-ip_c" class="anchor"></a><code><span><span class="keyword">val</span> ip_c : <span><span class="xref-unresolved">Ipaddr</span>.t <span class="xref-unresolved">Cmdliner</span>.Arg.conv</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-namekey_c"><a href="#val-namekey_c" class="anchor"></a><code><span><span class="keyword">val</span> namekey_c :
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Dns_cli (dns-cli.Dns_cli)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.2"/><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">dns-cli</a> &#x00BB; Dns_cli</nav><header class="odoc-preamble"><h1>Module <code><span>Dns_cli</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-connect_tcp"><a href="#val-connect_tcp" class="anchor"></a><code><span><span class="keyword">val</span> connect_tcp : <span><span class="xref-unresolved">Ipaddr</span>.t <span class="arrow">&#45;&gt;</span></span> <span>int <span class="arrow">&#45;&gt;</span></span> <span class="xref-unresolved">Unix</span>.file_descr</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-send_tcp"><a href="#val-send_tcp" class="anchor"></a><code><span><span class="keyword">val</span> send_tcp : <span><span class="xref-unresolved">Unix</span>.file_descr <span class="arrow">&#45;&gt;</span></span> <span>string <span class="arrow">&#45;&gt;</span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-recv_tcp"><a href="#val-recv_tcp" class="anchor"></a><code><span><span class="keyword">val</span> recv_tcp : <span><span class="xref-unresolved">Unix</span>.file_descr <span class="arrow">&#45;&gt;</span></span> string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-setup_log"><a href="#val-setup_log" class="anchor"></a><code><span><span class="keyword">val</span> setup_log : <span>unit <span class="xref-unresolved">Cmdliner</span>.Term.t</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-ip_c"><a href="#val-ip_c" class="anchor"></a><code><span><span class="keyword">val</span> ip_c : <span><span class="xref-unresolved">Ipaddr</span>.t <span class="xref-unresolved">Cmdliner</span>.Arg.conv</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-namekey_c"><a href="#val-namekey_c" class="anchor"></a><code><span><span class="keyword">val</span> namekey_c :
<span><span>(<span><span>[ `raw ]</span> <span class="xref-unresolved">Domain_name</span>.t</span> * <span><span>[ `host ]</span> <span class="xref-unresolved">Domain_name</span>.t</span> * <a href="../../dns/Dns/Dnskey/index.html#type-t">Dns.Dnskey.t</a>)</span>
<span class="xref-unresolved">Cmdliner</span>.Arg.conv</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-name_c"><a href="#val-name_c" class="anchor"></a><code><span><span class="keyword">val</span> name_c : <span><span><span>[ `host ]</span> <span class="xref-unresolved">Domain_name</span>.t</span> <span class="xref-unresolved">Cmdliner</span>.Arg.conv</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-domain_name_c"><a href="#val-domain_name_c" class="anchor"></a><code><span><span class="keyword">val</span> domain_name_c : <span><span><span>[ `raw ]</span> <span class="xref-unresolved">Domain_name</span>.t</span> <span class="xref-unresolved">Cmdliner</span>.Arg.conv</span></span></code></div></div></div></body></html>
Loading

0 comments on commit 98373de

Please sign in to comment.