Merge pull request #18 from codex-semantics-library/dlesbre/odoc-upload

odoc upload

Author: mlemerre

_data/api/binsec_codex/Binsec_codex_lib/Analyze/Create/Addr_map/index.html.json

@@ -0,0 +1 @@
+{"header":"<h1>Module <code><span>Domain.Binary</span></code></h1>","type":"documentation","uses_katex":false,"breadcrumbs":[{"name":"Index","href":"../../../../../../../../index.html","kind":"leaf-page"},{"name":"binsec_codex","href":"../../../../../../../index.html","kind":"page"},{"name":"Binsec_codex_lib","href":"../../../../../../index.html","kind":"module"},{"name":"Analyze","href":"../../../../../index.html","kind":"module"},{"name":"Create","href":"../../../../index.html","kind":"module"},{"name":"Arch","href":"../../../index.html","kind":"module"},{"name":"Registers","href":"../../index.html","kind":"module"},{"name":"Domain","href":"../index.html","kind":"module"},{"name":"Binary","href":"#","kind":"module"}],"toc":[],"source_anchor":null,"preamble":"","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><span> = <a href=\"../index.html#type-binary\">binary</a></span></code></div></div><div class=\"odoc-spec\"><div class=\"spec value anchored\" id=\"val-equal\"><a href=\"#val-equal\" class=\"anchor\"></a><code><span><span class=\"keyword\">val</span> equal : <span><a href=\"#type-t\">t</a> <span class=\"arrow\">&#45;&gt;</span></span> <span><a href=\"#type-t\">t</a> <span class=\"arrow\">&#45;&gt;</span></span> bool</span></code></div></div><div class=\"odoc-spec\"><div class=\"spec value anchored\" id=\"val-compare\"><a href=\"#val-compare\" class=\"anchor\"></a><code><span><span class=\"keyword\">val</span> compare : <span><a href=\"#type-t\">t</a> <span class=\"arrow\">&#45;&gt;</span></span> <span><a href=\"#type-t\">t</a> <span class=\"arrow\">&#45;&gt;</span></span> int</span></code></div></div><div class=\"odoc-spec\"><div class=\"spec value anchored\" id=\"val-hash\"><a href=\"#val-hash\" class=\"anchor\"></a><code><span><span class=\"keyword\">val</span> hash : <span><a href=\"#type-t\">t</a> <span class=\"arrow\">&#45;&gt;</span></span> int</span></code></div></div><div class=\"odoc-spec\"><div class=\"spec value anchored\" id=\"val-pretty\"><a href=\"#val-pretty\" class=\"anchor\"></a><code><span><span class=\"keyword\">val</span> pretty : <span><span class=\"xref-unresolved\">Stdlib</span>.Format.formatter <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>"}

_data/api/binsec_codex/Binsec_codex_lib/Analyze/Create/Arch/Registers/Domain/Binary/index.html.json

@@ -0,0 +1 @@
+{"header":"<h1>Module <code><span>Domain.Block_Forward</span></code></h1>","type":"documentation","uses_katex":false,"breadcrumbs":[{"name":"Index","href":"../../../../../../../../index.html","kind":"leaf-page"},{"name":"binsec_codex","href":"../../../../../../../index.html","kind":"page"},{"name":"Binsec_codex_lib","href":"../../../../../../index.html","kind":"module"},{"name":"Analyze","href":"../../../../../index.html","kind":"module"},{"name":"Create","href":"../../../../index.html","kind":"module"},{"name":"Arch","href":"../../../index.html","kind":"module"},{"name":"Registers","href":"../../index.html","kind":"module"},{"name":"Domain","href":"../index.html","kind":"module"},{"name":"Block_Forward","href":"#","kind":"module"}],"toc":[],"source_anchor":null,"preamble":"","content":"<div class=\"odoc-spec\"><div class=\"spec value anchored\" id=\"val-sizeof\"><a href=\"#val-sizeof\" class=\"anchor\"></a><code><span><span class=\"keyword\">val</span> sizeof : <span><span>(<a href=\"../index.html#type-block\">block</a>, <a href=\"../index.html#type-offset\">offset</a>)</span> <a href=\"../../../../../../../../codex/Domains/Sig/Context_Arity_Forward/index.html#type-ar1\">Domains.Sig.Context_Arity_Forward(Context).ar1</a></span></span></code></div></div><div class=\"odoc-spec\"><div class=\"spec value anchored\" id=\"val-concat\"><a href=\"#val-concat\" class=\"anchor\"></a><code><span><span class=\"keyword\">val</span> concat : \u000A  <span><span>(<a href=\"../index.html#type-block\">block</a>, <a href=\"../index.html#type-block\">block</a>, <a href=\"../index.html#type-block\">block</a>)</span> <a href=\"../../../../../../../../codex/Domains/Sig/Context_Arity_Forward/index.html#type-ar2\">Domains.Sig.Context_Arity_Forward(Context).ar2</a></span></span></code></div></div><div class=\"odoc-spec\"><div class=\"spec value anchored\" id=\"val-load\"><a href=\"#val-load\" class=\"anchor\"></a><code><span><span class=\"keyword\">val</span> load : \u000A  <span><span class=\"label\">size</span>:<a href=\"../../../../../../../../codex/Units/In_bits/index.html#type-t\">Units.In_bits.t</a> <span class=\"arrow\">&#45;&gt;</span></span>\u000A  <span><span>(<a href=\"../index.html#type-block\">block</a>, <a href=\"../index.html#type-offset\">offset</a>, <a href=\"../index.html#type-binary\">binary</a>)</span> <a href=\"../../../../../../../../codex/Domains/Sig/Context_Arity_Forward/index.html#type-ar2\">Domains.Sig.Context_Arity_Forward(Context).ar2</a></span></span></code></div></div><div class=\"odoc-spec\"><div class=\"spec value anchored\" id=\"val-store\"><a href=\"#val-store\" class=\"anchor\"></a><code><span><span class=\"keyword\">val</span> store : \u000A  <span><span class=\"label\">size</span>:<a href=\"../../../../../../../../codex/Units/In_bits/index.html#type-t\">Units.In_bits.t</a> <span class=\"arrow\">&#45;&gt;</span></span>\u000A  <span><span>(<a href=\"../index.html#type-block\">block</a>, <a href=\"../index.html#type-offset\">offset</a>, <a href=\"../index.html#type-binary\">binary</a>, <a href=\"../index.html#type-block\">block</a>)</span> <a href=\"../../../../../../../../codex/Domains/Sig/Context_Arity_Forward/index.html#type-ar3\">Domains.Sig.Context_Arity_Forward(Context).ar3</a></span></span></code></div></div><div class=\"odoc-spec\"><div class=\"spec value anchored\" id=\"val-binary_to_block\"><a href=\"#val-binary_to_block\" class=\"anchor\"></a><code><span><span class=\"keyword\">val</span> binary_to_block : \u000A  <span><span class=\"label\">size</span>:<a href=\"../../../../../../../../codex/Units/In_bits/index.html#type-t\">Units.In_bits.t</a> <span class=\"arrow\">&#45;&gt;</span></span>\u000A  <span><span>(<a href=\"../index.html#type-binary\">binary</a>, <a href=\"../index.html#type-block\">block</a>)</span> <a href=\"../../../../../../../../codex/Domains/Sig/Context_Arity_Forward/index.html#type-ar1\">Domains.Sig.Context_Arity_Forward(Context).ar1</a></span></span></code></div></div>"}

_data/api/binsec_codex/Binsec_codex_lib/Analyze/Create/Arch/Registers/Domain/Binary_Forward/index.html.json

@@ -0,0 +1 @@
+{"header":"<h1>Module <code><span>Domain.Boolean</span></code></h1>","type":"documentation","uses_katex":false,"breadcrumbs":[{"name":"Index","href":"../../../../../../../../index.html","kind":"leaf-page"},{"name":"binsec_codex","href":"../../../../../../../index.html","kind":"page"},{"name":"Binsec_codex_lib","href":"../../../../../../index.html","kind":"module"},{"name":"Analyze","href":"../../../../../index.html","kind":"module"},{"name":"Create","href":"../../../../index.html","kind":"module"},{"name":"Arch","href":"../../../index.html","kind":"module"},{"name":"Registers","href":"../../index.html","kind":"module"},{"name":"Domain","href":"../index.html","kind":"module"},{"name":"Boolean","href":"#","kind":"module"}],"toc":[],"source_anchor":null,"preamble":"","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><span> = <a href=\"../index.html#type-boolean\">boolean</a></span></code></div></div><div class=\"odoc-spec\"><div class=\"spec value anchored\" id=\"val-equal\"><a href=\"#val-equal\" class=\"anchor\"></a><code><span><span class=\"keyword\">val</span> equal : <span><a href=\"#type-t\">t</a> <span class=\"arrow\">&#45;&gt;</span></span> <span><a href=\"#type-t\">t</a> <span class=\"arrow\">&#45;&gt;</span></span> bool</span></code></div></div><div class=\"odoc-spec\"><div class=\"spec value anchored\" id=\"val-compare\"><a href=\"#val-compare\" class=\"anchor\"></a><code><span><span class=\"keyword\">val</span> compare : <span><a href=\"#type-t\">t</a> <span class=\"arrow\">&#45;&gt;</span></span> <span><a href=\"#type-t\">t</a> <span class=\"arrow\">&#45;&gt;</span></span> int</span></code></div></div><div class=\"odoc-spec\"><div class=\"spec value anchored\" id=\"val-hash\"><a href=\"#val-hash\" class=\"anchor\"></a><code><span><span class=\"keyword\">val</span> hash : <span><a href=\"#type-t\">t</a> <span class=\"arrow\">&#45;&gt;</span></span> int</span></code></div></div><div class=\"odoc-spec\"><div class=\"spec value anchored\" id=\"val-pretty\"><a href=\"#val-pretty\" class=\"anchor\"></a><code><span><span class=\"keyword\">val</span> pretty : <span><span class=\"xref-unresolved\">Stdlib</span>.Format.formatter <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>"}

_data/api/binsec_codex/Binsec_codex_lib/Analyze/Create/Arch/Registers/Domain/Block_Forward/index.html.json

@@ -0,0 +1 @@
+{"header":"<h1>Module <code><span>Domain.Boolean_Forward</span></code></h1>","type":"documentation","uses_katex":false,"breadcrumbs":[{"name":"Index","href":"../../../../../../../../index.html","kind":"leaf-page"},{"name":"binsec_codex","href":"../../../../../../../index.html","kind":"page"},{"name":"Binsec_codex_lib","href":"../../../../../../index.html","kind":"module"},{"name":"Analyze","href":"../../../../../index.html","kind":"module"},{"name":"Create","href":"../../../../index.html","kind":"module"},{"name":"Arch","href":"../../../index.html","kind":"module"},{"name":"Registers","href":"../../index.html","kind":"module"},{"name":"Domain","href":"../index.html","kind":"module"},{"name":"Boolean_Forward","href":"#","kind":"module"}],"toc":[],"source_anchor":null,"preamble":"","content":"<div class=\"odoc-spec\"><div class=\"spec value anchored\" id=\"val-not\"><a href=\"#val-not\" class=\"anchor\"></a><code><span><span class=\"keyword\">val</span> not : <span><a href=\"../Context/index.html#type-t\">Context.t</a> <span class=\"arrow\">&#45;&gt;</span></span> <span><a href=\"../index.html#type-boolean\">boolean</a> <span class=\"arrow\">&#45;&gt;</span></span> <a href=\"../index.html#type-boolean\">boolean</a></span></code></div></div><div class=\"odoc-spec\"><div class=\"spec value anchored\" id=\"val-(&amp;&amp;)\"><a href=\"#val-(&amp;&amp;)\" class=\"anchor\"></a><code><span><span class=\"keyword\">val</span> (&amp;&amp;) : <span><a href=\"../Context/index.html#type-t\">Context.t</a> <span class=\"arrow\">&#45;&gt;</span></span> <span><a href=\"../index.html#type-boolean\">boolean</a> <span class=\"arrow\">&#45;&gt;</span></span> <span><a href=\"../index.html#type-boolean\">boolean</a> <span class=\"arrow\">&#45;&gt;</span></span> <a href=\"../index.html#type-boolean\">boolean</a></span></code></div></div><div class=\"odoc-spec\"><div class=\"spec value anchored\" id=\"val-(||)\"><a href=\"#val-(||)\" class=\"anchor\"></a><code><span><span class=\"keyword\">val</span> (||) : <span><a href=\"../Context/index.html#type-t\">Context.t</a> <span class=\"arrow\">&#45;&gt;</span></span> <span><a href=\"../index.html#type-boolean\">boolean</a> <span class=\"arrow\">&#45;&gt;</span></span> <span><a href=\"../index.html#type-boolean\">boolean</a> <span class=\"arrow\">&#45;&gt;</span></span> <a href=\"../index.html#type-boolean\">boolean</a></span></code></div></div><div class=\"odoc-spec\"><div class=\"spec value anchored\" id=\"val-true_\"><a href=\"#val-true_\" class=\"anchor\"></a><code><span><span class=\"keyword\">val</span> true_ : <span><a href=\"../Context/index.html#type-t\">Context.t</a> <span class=\"arrow\">&#45;&gt;</span></span> <a href=\"../index.html#type-boolean\">boolean</a></span></code></div></div><div class=\"odoc-spec\"><div class=\"spec value anchored\" id=\"val-false_\"><a href=\"#val-false_\" class=\"anchor\"></a><code><span><span class=\"keyword\">val</span> false_ : <span><a href=\"../Context/index.html#type-t\">Context.t</a> <span class=\"arrow\">&#45;&gt;</span></span> <a href=\"../index.html#type-boolean\">boolean</a></span></code></div></div>"}

_data/api/binsec_codex/Binsec_codex_lib/Analyze/Create/Arch/Registers/Domain/Boolean/index.html.json

@@ -0,0 +1 @@
+{"header":"<h1>Module <code><span>Domain.Context</span></code></h1>","type":"documentation","uses_katex":false,"breadcrumbs":[{"name":"Index","href":"../../../../../../../../index.html","kind":"leaf-page"},{"name":"binsec_codex","href":"../../../../../../../index.html","kind":"page"},{"name":"Binsec_codex_lib","href":"../../../../../../index.html","kind":"module"},{"name":"Analyze","href":"../../../../../index.html","kind":"module"},{"name":"Create","href":"../../../../index.html","kind":"module"},{"name":"Arch","href":"../../../index.html","kind":"module"},{"name":"Registers","href":"../../index.html","kind":"module"},{"name":"Domain","href":"../index.html","kind":"module"},{"name":"Context","href":"#","kind":"module"}],"toc":[],"source_anchor":null,"preamble":"","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><span> = <a href=\"../../../../Dba2CodexC/Domain/Context/index.html#type-t\">Dba2CodexC.Domain.Context.t</a></span></code></div></div><div class=\"odoc-spec\"><div class=\"spec value anchored\" id=\"val-level\"><a href=\"#val-level\" class=\"anchor\"></a><code><span><span class=\"keyword\">val</span> level : <span><a href=\"#type-t\">t</a> <span class=\"arrow\">&#45;&gt;</span></span> int</span></code></div></div><div class=\"odoc-spec\"><div class=\"spec value anchored\" id=\"val-copy\"><a href=\"#val-copy\" class=\"anchor\"></a><code><span><span class=\"keyword\">val</span> copy : <span><a href=\"#type-t\">t</a> <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-assign\"><a href=\"#val-assign\" class=\"anchor\"></a><code><span><span class=\"keyword\">val</span> assign : <span><a href=\"#type-t\">t</a> <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 type anchored\" id=\"type-in_tuple\"><a href=\"#type-in_tuple\" class=\"anchor\"></a><code><span><span class=\"keyword\">type</span> <span>'a in_tuple</span></span><span> = <span><span class=\"type-var\">'a</span> <a href=\"../../../../Dba2CodexC/Domain/Context/index.html#type-in_tuple\">Dba2CodexC.Domain.Context.in_tuple</a></span></span></code></div></div><div class=\"odoc-spec\"><div class=\"spec type anchored\" id=\"type-empty_tuple\"><a href=\"#type-empty_tuple\" class=\"anchor\"></a><code><span><span class=\"keyword\">type</span> empty_tuple</span><span> = <a href=\"../../../../Dba2CodexC/Domain/Context/index.html#type-empty_tuple\">Dba2CodexC.Domain.Context.empty_tuple</a></span></code></div></div><div class=\"odoc-spec\"><div class=\"spec value anchored\" id=\"val-empty_tuple\"><a href=\"#val-empty_tuple\" class=\"anchor\"></a><code><span><span class=\"keyword\">val</span> empty_tuple : <span>unit <span class=\"arrow\">&#45;&gt;</span></span> <span><a href=\"#type-empty_tuple\">empty_tuple</a> <a href=\"#type-in_tuple\">in_tuple</a></span></span></code></div></div><div class=\"odoc-spec\"><div class=\"spec type anchored\" id=\"type-in_acc\"><a href=\"#type-in_acc\" class=\"anchor\"></a><code><span><span class=\"keyword\">type</span> <span>'a in_acc</span></span><span> = bool * <span><span class=\"type-var\">'a</span> <a href=\"#type-in_tuple\">in_tuple</a></span></span></code></div></div><div class=\"odoc-spec\"><div class=\"spec type anchored\" id=\"type-out_tuple\"><a href=\"#type-out_tuple\" class=\"anchor\"></a><code><span><span class=\"keyword\">type</span> <span>'a out_tuple</span></span><span> = <span><span class=\"type-var\">'a</span> <a href=\"../../../../Dba2CodexC/Domain/Context/index.html#type-out_tuple\">Dba2CodexC.Domain.Context.out_tuple</a></span></span></code></div></div><div class=\"odoc-spec\"><div class=\"spec type anchored\" id=\"type-result\"><a href=\"#type-result\" class=\"anchor\"></a><code><span><span class=\"keyword\">type</span> <span>(!'a, !'b) result</span></span><span> = <span><span>(<span class=\"type-var\">'a</span>, <span class=\"type-var\">'b</span>)</span> <a href=\"../../../../Dba2CodexC/Domain/Context/index.html#type-result\">Dba2CodexC.Domain.Context.result</a></span></span><span> = </span></code><ol><li id=\"type-result.Result\" class=\"def variant constructor anchored\"><a href=\"#type-result.Result\" class=\"anchor\"></a><code><span>| </span><span><span class=\"constructor\">Result</span> : bool\u000A  * <span><span class=\"type-var\">'some</span> <a href=\"#type-in_tuple\">in_tuple</a></span>\u000A  * <span>(<span><a href=\"#type-t\">t</a> <span class=\"arrow\">&#45;&gt;</span></span>\u000A  <span><span><span class=\"type-var\">'some</span> <a href=\"#type-out_tuple\">out_tuple</a></span> <span class=\"arrow\">&#45;&gt;</span></span>\u000A  <span class=\"type-var\">'a0</span> * <span><span class=\"type-var\">'b0</span> <a href=\"#type-out_tuple\">out_tuple</a></span>)</span> <span class=\"arrow\">&#45;&gt;</span> <span><span>(<span class=\"type-var\">'a0</span>, <span class=\"type-var\">'b0</span>)</span> <a href=\"#type-result\">result</a></span></span></code></li></ol></div></div>"}

_data/api/binsec_codex/Binsec_codex_lib/Analyze/Create/Arch/Registers/Domain/Boolean_Forward/index.html.json

@@ -0,0 +1 @@
+{"header":"<h1>Module <code><span>Domain.Enum</span></code></h1>","type":"documentation","uses_katex":false,"breadcrumbs":[{"name":"Index","href":"../../../../../../../../index.html","kind":"leaf-page"},{"name":"binsec_codex","href":"../../../../../../../index.html","kind":"page"},{"name":"Binsec_codex_lib","href":"../../../../../../index.html","kind":"module"},{"name":"Analyze","href":"../../../../../index.html","kind":"module"},{"name":"Create","href":"../../../../index.html","kind":"module"},{"name":"Arch","href":"../../../index.html","kind":"module"},{"name":"Registers","href":"../../index.html","kind":"module"},{"name":"Domain","href":"../index.html","kind":"module"},{"name":"Enum","href":"#","kind":"module"}],"toc":[],"source_anchor":null,"preamble":"","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><span> = <a href=\"../index.html#type-enum\">enum</a></span></code></div></div><div class=\"odoc-spec\"><div class=\"spec value anchored\" id=\"val-equal\"><a href=\"#val-equal\" class=\"anchor\"></a><code><span><span class=\"keyword\">val</span> equal : <span><a href=\"#type-t\">t</a> <span class=\"arrow\">&#45;&gt;</span></span> <span><a href=\"#type-t\">t</a> <span class=\"arrow\">&#45;&gt;</span></span> bool</span></code></div></div><div class=\"odoc-spec\"><div class=\"spec value anchored\" id=\"val-compare\"><a href=\"#val-compare\" class=\"anchor\"></a><code><span><span class=\"keyword\">val</span> compare : <span><a href=\"#type-t\">t</a> <span class=\"arrow\">&#45;&gt;</span></span> <span><a href=\"#type-t\">t</a> <span class=\"arrow\">&#45;&gt;</span></span> int</span></code></div></div><div class=\"odoc-spec\"><div class=\"spec value anchored\" id=\"val-hash\"><a href=\"#val-hash\" class=\"anchor\"></a><code><span><span class=\"keyword\">val</span> hash : <span><a href=\"#type-t\">t</a> <span class=\"arrow\">&#45;&gt;</span></span> int</span></code></div></div><div class=\"odoc-spec\"><div class=\"spec value anchored\" id=\"val-pretty\"><a href=\"#val-pretty\" class=\"anchor\"></a><code><span><span class=\"keyword\">val</span> pretty : <span><span class=\"xref-unresolved\">Stdlib</span>.Format.formatter <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>"}