diff options
Diffstat (limited to 'docs/disml/Disml__Rl/RouteMap')
11 files changed, 0 insertions, 22 deletions
diff --git a/docs/disml/Disml__Rl/RouteMap/Key/index.html b/docs/disml/Disml__Rl/RouteMap/Key/index.html deleted file mode 100644 index f17811f..0000000 --- a/docs/disml/Disml__Rl/RouteMap/Key/index.html +++ /dev/null @@ -1,2 +0,0 @@ -<!DOCTYPE html> -<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Key (disml.Disml__Rl.RouteMap.Key)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">disml</a> » <a href="../../index.html">Disml__Rl</a> » <a href="../index.html">RouteMap</a> » Key</nav><h1>Module <code>RouteMap.Key</code></h1></header><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type </span>t</code><code><span class="keyword"> = </span>Core.String.t</code></dt></dl><dl><dt class="spec value" id="val-t_of_sexp"><a href="#val-t_of_sexp" class="anchor"></a><code><span class="keyword">val </span>t_of_sexp : Ppx_sexp_conv_lib.Sexp.t <span>-></span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-sexp_of_t"><a href="#val-sexp_of_t" class="anchor"></a><code><span class="keyword">val </span>sexp_of_t : <a href="index.html#type-t">t</a> <span>-></span> Ppx_sexp_conv_lib.Sexp.t</code></dt></dl><dl><dt class="spec type" id="type-comparator_witness"><a href="#type-comparator_witness" class="anchor"></a><code><span class="keyword">type </span>comparator_witness</code><code><span class="keyword"> = </span>Core_kernel__Map.Make(Core.String).Key.comparator_witness</code></dt></dl><dl><dt class="spec value" id="val-comparator"><a href="#val-comparator" class="anchor"></a><code><span class="keyword">val </span>comparator : (<a href="index.html#type-t">t</a>, <a href="index.html#type-comparator_witness">comparator_witness</a>) Core_kernel__.Comparator.comparator</code></dt></dl></div></body></html>
\ No newline at end of file diff --git a/docs/disml/Disml__Rl/RouteMap/Provide_bin_io/argument-1-Key/index.html b/docs/disml/Disml__Rl/RouteMap/Provide_bin_io/argument-1-Key/index.html deleted file mode 100644 index 738ba1d..0000000 --- a/docs/disml/Disml__Rl/RouteMap/Provide_bin_io/argument-1-Key/index.html +++ /dev/null @@ -1,2 +0,0 @@ -<!DOCTYPE html> -<html xmlns="http://www.w3.org/1999/xhtml"><head><title>1-Key (disml.Disml__Rl.RouteMap.Provide_bin_io.1-Key)</title><link rel="stylesheet" href="../../../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../../index.html">disml</a> » <a href="../../../index.html">Disml__Rl</a> » <a href="../../index.html">RouteMap</a> » <a href="../index.html">Provide_bin_io</a> » 1-Key</nav><h1>Parameter <code>Provide_bin_io.1-Key</code></h1></header><dl><dt class="spec value" id="val-bin_t"><a href="#val-bin_t" class="anchor"></a><code><span class="keyword">val </span>bin_t : <a href="../../Key/index.html#type-t">Key.t</a> Bin_prot.Type_class.t</code></dt><dt class="spec value" id="val-bin_read_t"><a href="#val-bin_read_t" class="anchor"></a><code><span class="keyword">val </span>bin_read_t : <a href="../../Key/index.html#type-t">Key.t</a> Bin_prot.Read.reader</code></dt><dt class="spec value" id="val-__bin_read_t__"><a href="#val-__bin_read_t__" class="anchor"></a><code><span class="keyword">val </span>__bin_read_t__ : (Core_kernel__.Import.int <span>-></span> <a href="../../Key/index.html#type-t">Key.t</a>) Bin_prot.Read.reader</code></dt><dt class="spec value" id="val-bin_reader_t"><a href="#val-bin_reader_t" class="anchor"></a><code><span class="keyword">val </span>bin_reader_t : <a href="../../Key/index.html#type-t">Key.t</a> Bin_prot.Type_class.reader</code></dt><dt class="spec value" id="val-bin_size_t"><a href="#val-bin_size_t" class="anchor"></a><code><span class="keyword">val </span>bin_size_t : <a href="../../Key/index.html#type-t">Key.t</a> Bin_prot.Size.sizer</code></dt><dt class="spec value" id="val-bin_write_t"><a href="#val-bin_write_t" class="anchor"></a><code><span class="keyword">val </span>bin_write_t : <a href="../../Key/index.html#type-t">Key.t</a> Bin_prot.Write.writer</code></dt><dt class="spec value" id="val-bin_writer_t"><a href="#val-bin_writer_t" class="anchor"></a><code><span class="keyword">val </span>bin_writer_t : <a href="../../Key/index.html#type-t">Key.t</a> Bin_prot.Type_class.writer</code></dt><dt class="spec value" id="val-bin_shape_t"><a href="#val-bin_shape_t" class="anchor"></a><code><span class="keyword">val </span>bin_shape_t : Bin_prot.Shape.t</code></dt></dl></div></body></html>
\ No newline at end of file diff --git a/docs/disml/Disml__Rl/RouteMap/Provide_bin_io/index.html b/docs/disml/Disml__Rl/RouteMap/Provide_bin_io/index.html deleted file mode 100644 index af5397f..0000000 --- a/docs/disml/Disml__Rl/RouteMap/Provide_bin_io/index.html +++ /dev/null @@ -1,2 +0,0 @@ -<!DOCTYPE html> -<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Provide_bin_io (disml.Disml__Rl.RouteMap.Provide_bin_io)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">disml</a> » <a href="../../index.html">Disml__Rl</a> » <a href="../index.html">RouteMap</a> » Provide_bin_io</nav><h1>Module <code>RouteMap.Provide_bin_io</code></h1></header><h3 class="heading">Parameters</h3><dl><code><a href="argument-1-Key/index.html">Key</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dl><h3 class="heading">Signature</h3><dl><dt class="spec value" id="val-bin_shape_t"><a href="#val-bin_shape_t" class="anchor"></a><code><span class="keyword">val </span>bin_shape_t : Bin_prot.Shape.t <span>-></span> Bin_prot.Shape.t</code></dt><dt class="spec value" id="val-bin_size_t"><a href="#val-bin_size_t" class="anchor"></a><code><span class="keyword">val </span>bin_size_t : (<span class="type-var">'a</span>, <span class="type-var">'a</span> <a href="../index.html#type-t">t</a>) Bin_prot.Size.sizer1</code></dt><dt class="spec value" id="val-bin_write_t"><a href="#val-bin_write_t" class="anchor"></a><code><span class="keyword">val </span>bin_write_t : (<span class="type-var">'a</span>, <span class="type-var">'a</span> <a href="../index.html#type-t">t</a>) Bin_prot.Write.writer1</code></dt><dt class="spec value" id="val-bin_read_t"><a href="#val-bin_read_t" class="anchor"></a><code><span class="keyword">val </span>bin_read_t : (<span class="type-var">'a</span>, <span class="type-var">'a</span> <a href="../index.html#type-t">t</a>) Bin_prot.Read.reader1</code></dt><dt class="spec value" id="val-__bin_read_t__"><a href="#val-__bin_read_t__" class="anchor"></a><code><span class="keyword">val </span>__bin_read_t__ : (<span class="type-var">'a</span>, int <span>-></span> <span class="type-var">'a</span> <a href="../index.html#type-t">t</a>) Bin_prot.Read.reader1</code></dt><dt class="spec value" id="val-bin_writer_t"><a href="#val-bin_writer_t" class="anchor"></a><code><span class="keyword">val </span>bin_writer_t : (<span class="type-var">'a</span>, <span class="type-var">'a</span> <a href="../index.html#type-t">t</a>) Bin_prot.Type_class.S1.writer</code></dt><dt class="spec value" id="val-bin_reader_t"><a href="#val-bin_reader_t" class="anchor"></a><code><span class="keyword">val </span>bin_reader_t : (<span class="type-var">'a</span>, <span class="type-var">'a</span> <a href="../index.html#type-t">t</a>) Bin_prot.Type_class.S1.reader</code></dt><dt class="spec value" id="val-bin_t"><a href="#val-bin_t" class="anchor"></a><code><span class="keyword">val </span>bin_t : (<span class="type-var">'a</span>, <span class="type-var">'a</span> <a href="../index.html#type-t">t</a>) Bin_prot.Type_class.S1.t</code></dt></dl></div></body></html>
\ No newline at end of file diff --git a/docs/disml/Disml__Rl/RouteMap/Provide_hash/argument-1-Key/index.html b/docs/disml/Disml__Rl/RouteMap/Provide_hash/argument-1-Key/index.html deleted file mode 100644 index 1b4bb06..0000000 --- a/docs/disml/Disml__Rl/RouteMap/Provide_hash/argument-1-Key/index.html +++ /dev/null @@ -1,2 +0,0 @@ -<!DOCTYPE html> -<html xmlns="http://www.w3.org/1999/xhtml"><head><title>1-Key (disml.Disml__Rl.RouteMap.Provide_hash.1-Key)</title><link rel="stylesheet" href="../../../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../../index.html">disml</a> » <a href="../../../index.html">Disml__Rl</a> » <a href="../../index.html">RouteMap</a> » <a href="../index.html">Provide_hash</a> » 1-Key</nav><h1>Parameter <code>Provide_hash.1-Key</code></h1></header><dl><dt class="spec value" id="val-hash_fold_t"><a href="#val-hash_fold_t" class="anchor"></a><code><span class="keyword">val </span>hash_fold_t : Base__.Hash.state <span>-></span> <a href="../../Key/index.html#type-t">Key.t</a> <span>-></span> Base__.Hash.state</code></dt></dl></div></body></html>
\ No newline at end of file diff --git a/docs/disml/Disml__Rl/RouteMap/Provide_hash/index.html b/docs/disml/Disml__Rl/RouteMap/Provide_hash/index.html deleted file mode 100644 index 91f37c8..0000000 --- a/docs/disml/Disml__Rl/RouteMap/Provide_hash/index.html +++ /dev/null @@ -1,2 +0,0 @@ -<!DOCTYPE html> -<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Provide_hash (disml.Disml__Rl.RouteMap.Provide_hash)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">disml</a> » <a href="../../index.html">Disml__Rl</a> » <a href="../index.html">RouteMap</a> » Provide_hash</nav><h1>Module <code>RouteMap.Provide_hash</code></h1></header><h3 class="heading">Parameters</h3><dl><code><a href="argument-1-Key/index.html">Key</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dl><h3 class="heading">Signature</h3><dl><dt class="spec value" id="val-hash_fold_t"><a href="#val-hash_fold_t" class="anchor"></a><code><span class="keyword">val </span>hash_fold_t : (Ppx_hash_lib.Std.Hash.state <span>-></span> <span class="type-var">'a</span> <span>-></span> Ppx_hash_lib.Std.Hash.state) <span>-></span> Ppx_hash_lib.Std.Hash.state <span>-></span> <span class="type-var">'a</span> <a href="../index.html#type-t">t</a> <span>-></span> Ppx_hash_lib.Std.Hash.state</code></dt></dl></div></body></html>
\ No newline at end of file diff --git a/docs/disml/Disml__Rl/RouteMap/Provide_of_sexp/argument-1-Key/index.html b/docs/disml/Disml__Rl/RouteMap/Provide_of_sexp/argument-1-Key/index.html deleted file mode 100644 index c989295..0000000 --- a/docs/disml/Disml__Rl/RouteMap/Provide_of_sexp/argument-1-Key/index.html +++ /dev/null @@ -1,2 +0,0 @@ -<!DOCTYPE html> -<html xmlns="http://www.w3.org/1999/xhtml"><head><title>1-Key (disml.Disml__Rl.RouteMap.Provide_of_sexp.1-Key)</title><link rel="stylesheet" href="../../../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../../index.html">disml</a> » <a href="../../../index.html">Disml__Rl</a> » <a href="../../index.html">RouteMap</a> » <a href="../index.html">Provide_of_sexp</a> » 1-Key</nav><h1>Parameter <code>Provide_of_sexp.1-Key</code></h1></header><dl><dt class="spec value" id="val-t_of_sexp"><a href="#val-t_of_sexp" class="anchor"></a><code><span class="keyword">val </span>t_of_sexp : Ppx_sexp_conv_lib.Sexp.t <span>-></span> <a href="../../Key/index.html#type-t">Key.t</a></code></dt></dl></div></body></html>
\ No newline at end of file diff --git a/docs/disml/Disml__Rl/RouteMap/Provide_of_sexp/index.html b/docs/disml/Disml__Rl/RouteMap/Provide_of_sexp/index.html deleted file mode 100644 index 2a228ec..0000000 --- a/docs/disml/Disml__Rl/RouteMap/Provide_of_sexp/index.html +++ /dev/null @@ -1,2 +0,0 @@ -<!DOCTYPE html> -<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Provide_of_sexp (disml.Disml__Rl.RouteMap.Provide_of_sexp)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">disml</a> » <a href="../../index.html">Disml__Rl</a> » <a href="../index.html">RouteMap</a> » Provide_of_sexp</nav><h1>Module <code>RouteMap.Provide_of_sexp</code></h1></header><h3 class="heading">Parameters</h3><dl><code><a href="argument-1-Key/index.html">Key</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dl><h3 class="heading">Signature</h3><dl><dt class="spec value" id="val-t_of_sexp"><a href="#val-t_of_sexp" class="anchor"></a><code><span class="keyword">val </span>t_of_sexp : (Ppx_sexp_conv_lib.Sexp.t <span>-></span> <span class="type-var">'v_x__018_</span>) <span>-></span> Ppx_sexp_conv_lib.Sexp.t <span>-></span> <span class="type-var">'v_x__018_</span> <a href="../index.html#type-t">t</a></code></dt></dl></div></body></html>
\ No newline at end of file diff --git a/docs/disml/Disml__Rl/RouteMap/Tree/Provide_of_sexp/argument-1-K/index.html b/docs/disml/Disml__Rl/RouteMap/Tree/Provide_of_sexp/argument-1-K/index.html deleted file mode 100644 index 63656f1..0000000 --- a/docs/disml/Disml__Rl/RouteMap/Tree/Provide_of_sexp/argument-1-K/index.html +++ /dev/null @@ -1,2 +0,0 @@ -<!DOCTYPE html> -<html xmlns="http://www.w3.org/1999/xhtml"><head><title>1-K (disml.Disml__Rl.RouteMap.Tree.Provide_of_sexp.1-K)</title><link rel="stylesheet" href="../../../../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../../../index.html">disml</a> » <a href="../../../../index.html">Disml__Rl</a> » <a href="../../../index.html">RouteMap</a> » <a href="../../index.html">Tree</a> » <a href="../index.html">Provide_of_sexp</a> » 1-K</nav><h1>Parameter <code>Provide_of_sexp.1-K</code></h1></header><dl><dt class="spec value" id="val-t_of_sexp"><a href="#val-t_of_sexp" class="anchor"></a><code><span class="keyword">val </span>t_of_sexp : Ppx_sexp_conv_lib.Sexp.t <span>-></span> <a href="../../../Key/index.html#type-t">Key.t</a></code></dt></dl></div></body></html>
\ No newline at end of file diff --git a/docs/disml/Disml__Rl/RouteMap/Tree/Provide_of_sexp/index.html b/docs/disml/Disml__Rl/RouteMap/Tree/Provide_of_sexp/index.html deleted file mode 100644 index 5b29382..0000000 --- a/docs/disml/Disml__Rl/RouteMap/Tree/Provide_of_sexp/index.html +++ /dev/null @@ -1,2 +0,0 @@ -<!DOCTYPE html> -<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Provide_of_sexp (disml.Disml__Rl.RouteMap.Tree.Provide_of_sexp)</title><link rel="stylesheet" href="../../../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../../index.html">disml</a> » <a href="../../../index.html">Disml__Rl</a> » <a href="../../index.html">RouteMap</a> » <a href="../index.html">Tree</a> » Provide_of_sexp</nav><h1>Module <code>Tree.Provide_of_sexp</code></h1></header><h3 class="heading">Parameters</h3><dl><code><a href="argument-1-K/index.html">K</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dl><h3 class="heading">Signature</h3><dl><dt class="spec value" id="val-t_of_sexp"><a href="#val-t_of_sexp" class="anchor"></a><code><span class="keyword">val </span>t_of_sexp : (Ppx_sexp_conv_lib.Sexp.t <span>-></span> <span class="type-var">'v_x__017_</span>) <span>-></span> Ppx_sexp_conv_lib.Sexp.t <span>-></span> <span class="type-var">'v_x__017_</span> <a href="../index.html#type-t">t</a></code></dt></dl></div></body></html>
\ No newline at end of file diff --git a/docs/disml/Disml__Rl/RouteMap/Tree/index.html b/docs/disml/Disml__Rl/RouteMap/Tree/index.html deleted file mode 100644 index dbac647..0000000 --- a/docs/disml/Disml__Rl/RouteMap/Tree/index.html +++ /dev/null @@ -1,2 +0,0 @@ -<!DOCTYPE html> -<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Tree (disml.Disml__Rl.RouteMap.Tree)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">disml</a> » <a href="../../index.html">Disml__Rl</a> » <a href="../index.html">RouteMap</a> » Tree</nav><h1>Module <code>RouteMap.Tree</code></h1></header><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type </span>'a t</code><code><span class="keyword"> = </span>(<a href="../Key/index.html#type-t">Key.t</a>, <span class="type-var">'a</span>, <a href="../Key/index.html#type-comparator_witness">Key.comparator_witness</a>) Core_kernel__.Map_intf.Tree.t</code></dt></dl><dl><dt class="spec value" id="val-empty"><a href="#val-empty" class="anchor"></a><code><span class="keyword">val </span>empty : <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-singleton"><a href="#val-singleton" class="anchor"></a><code><span class="keyword">val </span>singleton : <a href="../Key/index.html#type-t">Key.t</a> <span>-></span> <span class="type-var">'a</span> <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_alist"><a href="#val-of_alist" class="anchor"></a><code><span class="keyword">val </span>of_alist : (<a href="../Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span>) list <span>-></span> [ `Duplicate_key of <a href="../Key/index.html#type-t">Key.t</a><span class="keyword"> | </span>`Ok of <span class="type-var">'a</span> <a href="index.html#type-t">t</a> ]</code></dt><dt class="spec value" id="val-of_alist_or_error"><a href="#val-of_alist_or_error" class="anchor"></a><code><span class="keyword">val </span>of_alist_or_error : (<a href="../Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span>) list <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a> Base__.Or_error.t</code></dt><dt class="spec value" id="val-of_alist_exn"><a href="#val-of_alist_exn" class="anchor"></a><code><span class="keyword">val </span>of_alist_exn : (<a href="../Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span>) list <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_alist_multi"><a href="#val-of_alist_multi" class="anchor"></a><code><span class="keyword">val </span>of_alist_multi : (<a href="../Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span>) list <span>-></span> <span class="type-var">'a</span> list <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_alist_fold"><a href="#val-of_alist_fold" class="anchor"></a><code><span class="keyword">val </span>of_alist_fold : (<a href="../Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span>) list <span>-></span> init:<span class="type-var">'b</span> <span>-></span> f:(<span class="type-var">'b</span> <span>-></span> <span class="type-var">'a</span> <span>-></span> <span class="type-var">'b</span>) <span>-></span> <span class="type-var">'b</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_alist_reduce"><a href="#val-of_alist_reduce" class="anchor"></a><code><span class="keyword">val </span>of_alist_reduce : (<a href="../Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span>) list <span>-></span> f:(<span class="type-var">'a</span> <span>-></span> <span class="type-var">'a</span> <span>-></span> <span class="type-var">'a</span>) <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_sorted_array"><a href="#val-of_sorted_array" class="anchor"></a><code><span class="keyword">val </span>of_sorted_array : (<a href="../Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span>) array <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a> Base__.Or_error.t</code></dt><dt class="spec value" id="val-of_sorted_array_unchecked"><a href="#val-of_sorted_array_unchecked" class="anchor"></a><code><span class="keyword">val </span>of_sorted_array_unchecked : (<a href="../Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span>) array <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_increasing_iterator_unchecked"><a href="#val-of_increasing_iterator_unchecked" class="anchor"></a><code><span class="keyword">val </span>of_increasing_iterator_unchecked : len:int <span>-></span> f:(int <span>-></span> <a href="../Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span>) <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_increasing_sequence"><a href="#val-of_increasing_sequence" class="anchor"></a><code><span class="keyword">val </span>of_increasing_sequence : (<a href="../Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span>) Base__.Sequence.t <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a> Base__.Or_error.t</code></dt><dt class="spec value" id="val-of_iteri"><a href="#val-of_iteri" class="anchor"></a><code><span class="keyword">val </span>of_iteri : iteri:(f:(key:<a href="../Key/index.html#type-t">Key.t</a> <span>-></span> data:<span class="type-var">'v</span> <span>-></span> unit) <span>-></span> unit) <span>-></span> [ `Duplicate_key of <a href="../Key/index.html#type-t">Key.t</a><span class="keyword"> | </span>`Ok of <span class="type-var">'v</span> <a href="index.html#type-t">t</a> ]</code></dt><dt class="spec value" id="val-of_tree"><a href="#val-of_tree" class="anchor"></a><code><span class="keyword">val </span>of_tree : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_hashtbl_exn"><a href="#val-of_hashtbl_exn" class="anchor"></a><code><span class="keyword">val </span>of_hashtbl_exn : (<a href="../Key/index.html#type-t">Key.t</a>, <span class="type-var">'a</span>) Core_kernel__.Hashtbl.t <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-gen"><a href="#val-gen" class="anchor"></a><code><span class="keyword">val </span>gen : <a href="../Key/index.html#type-t">Key.t</a> Core_kernel__.Quickcheck.Generator.t <span>-></span> <span class="type-var">'a</span> Core_kernel__.Quickcheck.Generator.t <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a> Core_kernel__.Quickcheck.Generator.t</code></dt><dt class="spec value" id="val-invariants"><a href="#val-invariants" class="anchor"></a><code><span class="keyword">val </span>invariants : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> bool</code></dt><dt class="spec value" id="val-is_empty"><a href="#val-is_empty" class="anchor"></a><code><span class="keyword">val </span>is_empty : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> bool</code></dt><dt class="spec value" id="val-length"><a href="#val-length" class="anchor"></a><code><span class="keyword">val </span>length : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> int</code></dt><dt class="spec value" id="val-add"><a href="#val-add" class="anchor"></a><code><span class="keyword">val </span>add : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> key:<a href="../Key/index.html#type-t">Key.t</a> <span>-></span> data:<span class="type-var">'a</span> <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a> Base__.Map_intf.Or_duplicate.t</code></dt><dt class="spec value" id="val-add_exn"><a href="#val-add_exn" class="anchor"></a><code><span class="keyword">val </span>add_exn : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> key:<a href="../Key/index.html#type-t">Key.t</a> <span>-></span> data:<span class="type-var">'a</span> <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-set"><a href="#val-set" class="anchor"></a><code><span class="keyword">val </span>set : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> key:<a href="../Key/index.html#type-t">Key.t</a> <span>-></span> data:<span class="type-var">'a</span> <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-add_multi"><a href="#val-add_multi" class="anchor"></a><code><span class="keyword">val </span>add_multi : <span class="type-var">'a</span> list <a href="index.html#type-t">t</a> <span>-></span> key:<a href="../Key/index.html#type-t">Key.t</a> <span>-></span> data:<span class="type-var">'a</span> <span>-></span> <span class="type-var">'a</span> list <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-remove_multi"><a href="#val-remove_multi" class="anchor"></a><code><span class="keyword">val </span>remove_multi : <span class="type-var">'a</span> list <a href="index.html#type-t">t</a> <span>-></span> <a href="../Key/index.html#type-t">Key.t</a> <span>-></span> <span class="type-var">'a</span> list <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-find_multi"><a href="#val-find_multi" class="anchor"></a><code><span class="keyword">val </span>find_multi : <span class="type-var">'a</span> list <a href="index.html#type-t">t</a> <span>-></span> <a href="../Key/index.html#type-t">Key.t</a> <span>-></span> <span class="type-var">'a</span> list</code></dt><dt class="spec value" id="val-change"><a href="#val-change" class="anchor"></a><code><span class="keyword">val </span>change : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <a href="../Key/index.html#type-t">Key.t</a> <span>-></span> f:(<span class="type-var">'a</span> option <span>-></span> <span class="type-var">'a</span> option) <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-update"><a href="#val-update" class="anchor"></a><code><span class="keyword">val </span>update : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <a href="../Key/index.html#type-t">Key.t</a> <span>-></span> f:(<span class="type-var">'a</span> option <span>-></span> <span class="type-var">'a</span>) <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-find"><a href="#val-find" class="anchor"></a><code><span class="keyword">val </span>find : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <a href="../Key/index.html#type-t">Key.t</a> <span>-></span> <span class="type-var">'a</span> option</code></dt><dt class="spec value" id="val-find_exn"><a href="#val-find_exn" class="anchor"></a><code><span class="keyword">val </span>find_exn : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <a href="../Key/index.html#type-t">Key.t</a> <span>-></span> <span class="type-var">'a</span></code></dt><dt class="spec value" id="val-remove"><a href="#val-remove" class="anchor"></a><code><span class="keyword">val </span>remove : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <a href="../Key/index.html#type-t">Key.t</a> <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-mem"><a href="#val-mem" class="anchor"></a><code><span class="keyword">val </span>mem : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <a href="../Key/index.html#type-t">Key.t</a> <span>-></span> bool</code></dt><dt class="spec value" id="val-iter_keys"><a href="#val-iter_keys" class="anchor"></a><code><span class="keyword">val </span>iter_keys : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(<a href="../Key/index.html#type-t">Key.t</a> <span>-></span> unit) <span>-></span> unit</code></dt><dt class="spec value" id="val-iter"><a href="#val-iter" class="anchor"></a><code><span class="keyword">val </span>iter : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(<span class="type-var">'a</span> <span>-></span> unit) <span>-></span> unit</code></dt><dt class="spec value" id="val-iteri"><a href="#val-iteri" class="anchor"></a><code><span class="keyword">val </span>iteri : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(key:<a href="../Key/index.html#type-t">Key.t</a> <span>-></span> data:<span class="type-var">'a</span> <span>-></span> unit) <span>-></span> unit</code></dt><dt class="spec value" id="val-iter2"><a href="#val-iter2" class="anchor"></a><code><span class="keyword">val </span>iter2 : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <span class="type-var">'b</span> <a href="index.html#type-t">t</a> <span>-></span> f:(key:<a href="../Key/index.html#type-t">Key.t</a> <span>-></span> data:[ `Both of <span class="type-var">'a</span><span class="keyword"> * </span><span class="type-var">'b</span><span class="keyword"> | </span>`Left of <span class="type-var">'a</span><span class="keyword"> | </span>`Right of <span class="type-var">'b</span> ] <span>-></span> unit) <span>-></span> unit</code></dt><dt class="spec value" id="val-map"><a href="#val-map" class="anchor"></a><code><span class="keyword">val </span>map : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(<span class="type-var">'a</span> <span>-></span> <span class="type-var">'b</span>) <span>-></span> <span class="type-var">'b</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-mapi"><a href="#val-mapi" class="anchor"></a><code><span class="keyword">val </span>mapi : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(key:<a href="../Key/index.html#type-t">Key.t</a> <span>-></span> data:<span class="type-var">'a</span> <span>-></span> <span class="type-var">'b</span>) <span>-></span> <span class="type-var">'b</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-fold"><a href="#val-fold" class="anchor"></a><code><span class="keyword">val </span>fold : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> init:<span class="type-var">'b</span> <span>-></span> f:(key:<a href="../Key/index.html#type-t">Key.t</a> <span>-></span> data:<span class="type-var">'a</span> <span>-></span> <span class="type-var">'b</span> <span>-></span> <span class="type-var">'b</span>) <span>-></span> <span class="type-var">'b</span></code></dt><dt class="spec value" id="val-fold_right"><a href="#val-fold_right" class="anchor"></a><code><span class="keyword">val </span>fold_right : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> init:<span class="type-var">'b</span> <span>-></span> f:(key:<a href="../Key/index.html#type-t">Key.t</a> <span>-></span> data:<span class="type-var">'a</span> <span>-></span> <span class="type-var">'b</span> <span>-></span> <span class="type-var">'b</span>) <span>-></span> <span class="type-var">'b</span></code></dt><dt class="spec value" id="val-fold2"><a href="#val-fold2" class="anchor"></a><code><span class="keyword">val </span>fold2 : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <span class="type-var">'b</span> <a href="index.html#type-t">t</a> <span>-></span> init:<span class="type-var">'c</span> <span>-></span> f:(key:<a href="../Key/index.html#type-t">Key.t</a> <span>-></span> data:[ `Both of <span class="type-var">'a</span><span class="keyword"> * </span><span class="type-var">'b</span><span class="keyword"> | </span>`Left of <span class="type-var">'a</span><span class="keyword"> | </span>`Right of <span class="type-var">'b</span> ] <span>-></span> <span class="type-var">'c</span> <span>-></span> <span class="type-var">'c</span>) <span>-></span> <span class="type-var">'c</span></code></dt><dt class="spec value" id="val-filter_keys"><a href="#val-filter_keys" class="anchor"></a><code><span class="keyword">val </span>filter_keys : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(<a href="../Key/index.html#type-t">Key.t</a> <span>-></span> bool) <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-filter"><a href="#val-filter" class="anchor"></a><code><span class="keyword">val </span>filter : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(<span class="type-var">'a</span> <span>-></span> bool) <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-filteri"><a href="#val-filteri" class="anchor"></a><code><span class="keyword">val </span>filteri : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(key:<a href="../Key/index.html#type-t">Key.t</a> <span>-></span> data:<span class="type-var">'a</span> <span>-></span> bool) <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-filter_map"><a href="#val-filter_map" class="anchor"></a><code><span class="keyword">val </span>filter_map : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(<span class="type-var">'a</span> <span>-></span> <span class="type-var">'b</span> option) <span>-></span> <span class="type-var">'b</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-filter_mapi"><a href="#val-filter_mapi" class="anchor"></a><code><span class="keyword">val </span>filter_mapi : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(key:<a href="../Key/index.html#type-t">Key.t</a> <span>-></span> data:<span class="type-var">'a</span> <span>-></span> <span class="type-var">'b</span> option) <span>-></span> <span class="type-var">'b</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-partition_mapi"><a href="#val-partition_mapi" class="anchor"></a><code><span class="keyword">val </span>partition_mapi : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(key:<a href="../Key/index.html#type-t">Key.t</a> <span>-></span> data:<span class="type-var">'a</span> <span>-></span> [ `Fst of <span class="type-var">'b</span><span class="keyword"> | </span>`Snd of <span class="type-var">'c</span> ]) <span>-></span> <span class="type-var">'b</span> <a href="index.html#type-t">t</a><span class="keyword"> * </span><span class="type-var">'c</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-partition_map"><a href="#val-partition_map" class="anchor"></a><code><span class="keyword">val </span>partition_map : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(<span class="type-var">'a</span> <span>-></span> [ `Fst of <span class="type-var">'b</span><span class="keyword"> | </span>`Snd of <span class="type-var">'c</span> ]) <span>-></span> <span class="type-var">'b</span> <a href="index.html#type-t">t</a><span class="keyword"> * </span><span class="type-var">'c</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-partitioni_tf"><a href="#val-partitioni_tf" class="anchor"></a><code><span class="keyword">val </span>partitioni_tf : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(key:<a href="../Key/index.html#type-t">Key.t</a> <span>-></span> data:<span class="type-var">'a</span> <span>-></span> bool) <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a><span class="keyword"> * </span><span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-partition_tf"><a href="#val-partition_tf" class="anchor"></a><code><span class="keyword">val </span>partition_tf : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(<span class="type-var">'a</span> <span>-></span> bool) <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a><span class="keyword"> * </span><span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-compare_direct"><a href="#val-compare_direct" class="anchor"></a><code><span class="keyword">val </span>compare_direct : (<span class="type-var">'a</span> <span>-></span> <span class="type-var">'a</span> <span>-></span> int) <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> int</code></dt><dt class="spec value" id="val-equal"><a href="#val-equal" class="anchor"></a><code><span class="keyword">val </span>equal : (<span class="type-var">'a</span> <span>-></span> <span class="type-var">'a</span> <span>-></span> bool) <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> bool</code></dt><dt class="spec value" id="val-keys"><a href="#val-keys" class="anchor"></a><code><span class="keyword">val </span>keys : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <a href="../Key/index.html#type-t">Key.t</a> list</code></dt><dt class="spec value" id="val-data"><a href="#val-data" class="anchor"></a><code><span class="keyword">val </span>data : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <span class="type-var">'a</span> list</code></dt><dt class="spec value" id="val-to_alist"><a href="#val-to_alist" class="anchor"></a><code><span class="keyword">val </span>to_alist : ?⁠key_order:[ `Decreasing<span class="keyword"> | </span>`Increasing ] <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> (<a href="../Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span>) list</code></dt><dt class="spec value" id="val-validate"><a href="#val-validate" class="anchor"></a><code><span class="keyword">val </span>validate : name:(<a href="../Key/index.html#type-t">Key.t</a> <span>-></span> string) <span>-></span> <span class="type-var">'a</span> Base__.Validate.check <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a> Base__.Validate.check</code></dt><dt class="spec value" id="val-merge"><a href="#val-merge" class="anchor"></a><code><span class="keyword">val </span>merge : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <span class="type-var">'b</span> <a href="index.html#type-t">t</a> <span>-></span> f:(key:<a href="../Key/index.html#type-t">Key.t</a> <span>-></span> [ `Both of <span class="type-var">'a</span><span class="keyword"> * </span><span class="type-var">'b</span><span class="keyword"> | </span>`Left of <span class="type-var">'a</span><span class="keyword"> | </span>`Right of <span class="type-var">'b</span> ] <span>-></span> <span class="type-var">'c</span> option) <span>-></span> <span class="type-var">'c</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-symmetric_diff"><a href="#val-symmetric_diff" class="anchor"></a><code><span class="keyword">val </span>symmetric_diff : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> data_equal:(<span class="type-var">'a</span> <span>-></span> <span class="type-var">'a</span> <span>-></span> bool) <span>-></span> (<a href="../Key/index.html#type-t">Key.t</a>, <span class="type-var">'a</span>) Base__.Map_intf.Symmetric_diff_element.t Base__.Sequence.t</code></dt><dt class="spec value" id="val-min_elt"><a href="#val-min_elt" class="anchor"></a><code><span class="keyword">val </span>min_elt : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> (<a href="../Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span>) option</code></dt><dt class="spec value" id="val-min_elt_exn"><a href="#val-min_elt_exn" class="anchor"></a><code><span class="keyword">val </span>min_elt_exn : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <a href="../Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span></code></dt><dt class="spec value" id="val-max_elt"><a href="#val-max_elt" class="anchor"></a><code><span class="keyword">val </span>max_elt : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> (<a href="../Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span>) option</code></dt><dt class="spec value" id="val-max_elt_exn"><a href="#val-max_elt_exn" class="anchor"></a><code><span class="keyword">val </span>max_elt_exn : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <a href="../Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span></code></dt><dt class="spec value" id="val-for_all"><a href="#val-for_all" class="anchor"></a><code><span class="keyword">val </span>for_all : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(<span class="type-var">'a</span> <span>-></span> bool) <span>-></span> bool</code></dt><dt class="spec value" id="val-for_alli"><a href="#val-for_alli" class="anchor"></a><code><span class="keyword">val </span>for_alli : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(key:<a href="../Key/index.html#type-t">Key.t</a> <span>-></span> data:<span class="type-var">'a</span> <span>-></span> bool) <span>-></span> bool</code></dt><dt class="spec value" id="val-exists"><a href="#val-exists" class="anchor"></a><code><span class="keyword">val </span>exists : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(<span class="type-var">'a</span> <span>-></span> bool) <span>-></span> bool</code></dt><dt class="spec value" id="val-existsi"><a href="#val-existsi" class="anchor"></a><code><span class="keyword">val </span>existsi : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(key:<a href="../Key/index.html#type-t">Key.t</a> <span>-></span> data:<span class="type-var">'a</span> <span>-></span> bool) <span>-></span> bool</code></dt><dt class="spec value" id="val-count"><a href="#val-count" class="anchor"></a><code><span class="keyword">val </span>count : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(<span class="type-var">'a</span> <span>-></span> bool) <span>-></span> int</code></dt><dt class="spec value" id="val-counti"><a href="#val-counti" class="anchor"></a><code><span class="keyword">val </span>counti : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(key:<a href="../Key/index.html#type-t">Key.t</a> <span>-></span> data:<span class="type-var">'a</span> <span>-></span> bool) <span>-></span> int</code></dt><dt class="spec value" id="val-split"><a href="#val-split" class="anchor"></a><code><span class="keyword">val </span>split : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <a href="../Key/index.html#type-t">Key.t</a> <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a><span class="keyword"> * </span>(<a href="../Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span>) option<span class="keyword"> * </span><span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-append"><a href="#val-append" class="anchor"></a><code><span class="keyword">val </span>append : lower_part:<span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> upper_part:<span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> [ `Ok of <span class="type-var">'a</span> <a href="index.html#type-t">t</a><span class="keyword"> | </span>`Overlapping_key_ranges ]</code></dt><dt class="spec value" id="val-subrange"><a href="#val-subrange" class="anchor"></a><code><span class="keyword">val </span>subrange : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> lower_bound:<a href="../Key/index.html#type-t">Key.t</a> Base__.Maybe_bound.t <span>-></span> upper_bound:<a href="../Key/index.html#type-t">Key.t</a> Base__.Maybe_bound.t <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-fold_range_inclusive"><a href="#val-fold_range_inclusive" class="anchor"></a><code><span class="keyword">val </span>fold_range_inclusive : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> min:<a href="../Key/index.html#type-t">Key.t</a> <span>-></span> max:<a href="../Key/index.html#type-t">Key.t</a> <span>-></span> init:<span class="type-var">'b</span> <span>-></span> f:(key:<a href="../Key/index.html#type-t">Key.t</a> <span>-></span> data:<span class="type-var">'a</span> <span>-></span> <span class="type-var">'b</span> <span>-></span> <span class="type-var">'b</span>) <span>-></span> <span class="type-var">'b</span></code></dt><dt class="spec value" id="val-range_to_alist"><a href="#val-range_to_alist" class="anchor"></a><code><span class="keyword">val </span>range_to_alist : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> min:<a href="../Key/index.html#type-t">Key.t</a> <span>-></span> max:<a href="../Key/index.html#type-t">Key.t</a> <span>-></span> (<a href="../Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span>) list</code></dt><dt class="spec value" id="val-closest_key"><a href="#val-closest_key" class="anchor"></a><code><span class="keyword">val </span>closest_key : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> [ `Greater_or_equal_to<span class="keyword"> | </span>`Greater_than<span class="keyword"> | </span>`Less_or_equal_to<span class="keyword"> | </span>`Less_than ] <span>-></span> <a href="../Key/index.html#type-t">Key.t</a> <span>-></span> (<a href="../Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span>) option</code></dt><dt class="spec value" id="val-nth"><a href="#val-nth" class="anchor"></a><code><span class="keyword">val </span>nth : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> int <span>-></span> (<a href="../Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span>) option</code></dt><dt class="spec value" id="val-nth_exn"><a href="#val-nth_exn" class="anchor"></a><code><span class="keyword">val </span>nth_exn : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> int <span>-></span> <a href="../Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span></code></dt><dt class="spec value" id="val-rank"><a href="#val-rank" class="anchor"></a><code><span class="keyword">val </span>rank : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <a href="../Key/index.html#type-t">Key.t</a> <span>-></span> int option</code></dt><dt class="spec value" id="val-to_tree"><a href="#val-to_tree" class="anchor"></a><code><span class="keyword">val </span>to_tree : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-to_sequence"><a href="#val-to_sequence" class="anchor"></a><code><span class="keyword">val </span>to_sequence : ?⁠order:[ `Decreasing_key<span class="keyword"> | </span>`Increasing_key ] <span>-></span> ?⁠keys_greater_or_equal_to:<a href="../Key/index.html#type-t">Key.t</a> <span>-></span> ?⁠keys_less_or_equal_to:<a href="../Key/index.html#type-t">Key.t</a> <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> (<a href="../Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span>) Base__.Sequence.t</code></dt><dt class="spec value" id="val-obs"><a href="#val-obs" class="anchor"></a><code><span class="keyword">val </span>obs : <a href="../Key/index.html#type-t">Key.t</a> Core_kernel__.Quickcheck.Observer.t <span>-></span> <span class="type-var">'v</span> Core_kernel__.Quickcheck.Observer.t <span>-></span> <span class="type-var">'v</span> <a href="index.html#type-t">t</a> Core_kernel__.Quickcheck.Observer.t</code></dt><dt class="spec value" id="val-shrinker"><a href="#val-shrinker" class="anchor"></a><code><span class="keyword">val </span>shrinker : <a href="../Key/index.html#type-t">Key.t</a> Core_kernel__.Quickcheck.Shrinker.t <span>-></span> <span class="type-var">'v</span> Core_kernel__.Quickcheck.Shrinker.t <span>-></span> <span class="type-var">'v</span> <a href="index.html#type-t">t</a> Core_kernel__.Quickcheck.Shrinker.t</code></dt></dl><div class="spec module" id="module-Provide_of_sexp"><a href="#module-Provide_of_sexp" class="anchor"></a><code><span class="keyword">module </span><a href="Provide_of_sexp/index.html">Provide_of_sexp</a> : <span class="keyword">functor</span> (<a href="Provide_of_sexp/argument-1-K/index.html">K</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span>) <span>-></span> <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div><dl><dt class="spec value" id="val-t_of_sexp"><a href="#val-t_of_sexp" class="anchor"></a><code><span class="keyword">val </span>t_of_sexp : (Base__.Ppx_sexp_conv_lib.Sexp.t <span>-></span> <span class="type-var">'a</span>) <span>-></span> Base__.Ppx_sexp_conv_lib.Sexp.t <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-sexp_of_t"><a href="#val-sexp_of_t" class="anchor"></a><code><span class="keyword">val </span>sexp_of_t : (<span class="type-var">'a</span> <span>-></span> Base__.Ppx_sexp_conv_lib.Sexp.t) <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> Base__.Ppx_sexp_conv_lib.Sexp.t</code></dt></dl></div></body></html>
\ No newline at end of file diff --git a/docs/disml/Disml__Rl/RouteMap/index.html b/docs/disml/Disml__Rl/RouteMap/index.html deleted file mode 100644 index 311a90a..0000000 --- a/docs/disml/Disml__Rl/RouteMap/index.html +++ /dev/null @@ -1,2 +0,0 @@ -<!DOCTYPE html> -<html xmlns="http://www.w3.org/1999/xhtml"><head><title>RouteMap (disml.Disml__Rl.RouteMap)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">disml</a> » <a href="../index.html">Disml__Rl</a> » RouteMap</nav><h1>Module <code>Disml__Rl.RouteMap</code></h1><p>Type for mapping route -> <a href="../index.html#type-rl"><code>rl</code></a>.</p></header><div class="spec module" id="module-Key"><a href="#module-Key" class="anchor"></a><code><span class="keyword">module </span><a href="Key/index.html">Key</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div><div class="spec module" id="module-Tree"><a href="#module-Tree" class="anchor"></a><code><span class="keyword">module </span><a href="Tree/index.html">Tree</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type </span>'a t</code><code><span class="keyword"> = </span>(<a href="Key/index.html#type-t">Key.t</a>, <span class="type-var">'a</span>, <a href="Key/index.html#type-comparator_witness">Key.comparator_witness</a>) Core_kernel__.Map_intf.Map.t</code></dt></dl><dl><dt class="spec value" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span class="keyword">val </span>compare : (<span class="type-var">'a</span> <span>-></span> <span class="type-var">'a</span> <span>-></span> Core_kernel__.Import.int) <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> Core_kernel__.Import.int</code></dt><dt class="spec value" id="val-empty"><a href="#val-empty" class="anchor"></a><code><span class="keyword">val </span>empty : <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-singleton"><a href="#val-singleton" class="anchor"></a><code><span class="keyword">val </span>singleton : <a href="Key/index.html#type-t">Key.t</a> <span>-></span> <span class="type-var">'a</span> <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_alist"><a href="#val-of_alist" class="anchor"></a><code><span class="keyword">val </span>of_alist : (<a href="Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span>) list <span>-></span> [ `Duplicate_key of <a href="Key/index.html#type-t">Key.t</a><span class="keyword"> | </span>`Ok of <span class="type-var">'a</span> <a href="index.html#type-t">t</a> ]</code></dt><dt class="spec value" id="val-of_alist_or_error"><a href="#val-of_alist_or_error" class="anchor"></a><code><span class="keyword">val </span>of_alist_or_error : (<a href="Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span>) list <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a> Base__.Or_error.t</code></dt><dt class="spec value" id="val-of_alist_exn"><a href="#val-of_alist_exn" class="anchor"></a><code><span class="keyword">val </span>of_alist_exn : (<a href="Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span>) list <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_alist_multi"><a href="#val-of_alist_multi" class="anchor"></a><code><span class="keyword">val </span>of_alist_multi : (<a href="Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span>) list <span>-></span> <span class="type-var">'a</span> list <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_alist_fold"><a href="#val-of_alist_fold" class="anchor"></a><code><span class="keyword">val </span>of_alist_fold : (<a href="Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span>) list <span>-></span> init:<span class="type-var">'b</span> <span>-></span> f:(<span class="type-var">'b</span> <span>-></span> <span class="type-var">'a</span> <span>-></span> <span class="type-var">'b</span>) <span>-></span> <span class="type-var">'b</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_alist_reduce"><a href="#val-of_alist_reduce" class="anchor"></a><code><span class="keyword">val </span>of_alist_reduce : (<a href="Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span>) list <span>-></span> f:(<span class="type-var">'a</span> <span>-></span> <span class="type-var">'a</span> <span>-></span> <span class="type-var">'a</span>) <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_sorted_array"><a href="#val-of_sorted_array" class="anchor"></a><code><span class="keyword">val </span>of_sorted_array : (<a href="Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span>) array <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a> Base__.Or_error.t</code></dt><dt class="spec value" id="val-of_sorted_array_unchecked"><a href="#val-of_sorted_array_unchecked" class="anchor"></a><code><span class="keyword">val </span>of_sorted_array_unchecked : (<a href="Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span>) array <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_increasing_iterator_unchecked"><a href="#val-of_increasing_iterator_unchecked" class="anchor"></a><code><span class="keyword">val </span>of_increasing_iterator_unchecked : len:int <span>-></span> f:(int <span>-></span> <a href="Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span>) <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_increasing_sequence"><a href="#val-of_increasing_sequence" class="anchor"></a><code><span class="keyword">val </span>of_increasing_sequence : (<a href="Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span>) Base__.Sequence.t <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a> Base__.Or_error.t</code></dt><dt class="spec value" id="val-of_iteri"><a href="#val-of_iteri" class="anchor"></a><code><span class="keyword">val </span>of_iteri : iteri:(f:(key:<a href="Key/index.html#type-t">Key.t</a> <span>-></span> data:<span class="type-var">'v</span> <span>-></span> unit) <span>-></span> unit) <span>-></span> [ `Duplicate_key of <a href="Key/index.html#type-t">Key.t</a><span class="keyword"> | </span>`Ok of <span class="type-var">'v</span> <a href="index.html#type-t">t</a> ]</code></dt><dt class="spec value" id="val-of_tree"><a href="#val-of_tree" class="anchor"></a><code><span class="keyword">val </span>of_tree : <span class="type-var">'a</span> <a href="Tree/index.html#type-t">Tree.t</a> <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_hashtbl_exn"><a href="#val-of_hashtbl_exn" class="anchor"></a><code><span class="keyword">val </span>of_hashtbl_exn : (<a href="Key/index.html#type-t">Key.t</a>, <span class="type-var">'a</span>) Core_kernel__.Hashtbl.t <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-gen"><a href="#val-gen" class="anchor"></a><code><span class="keyword">val </span>gen : <a href="Key/index.html#type-t">Key.t</a> Core_kernel__.Quickcheck.Generator.t <span>-></span> <span class="type-var">'a</span> Core_kernel__.Quickcheck.Generator.t <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a> Core_kernel__.Quickcheck.Generator.t</code></dt><dt class="spec value" id="val-invariants"><a href="#val-invariants" class="anchor"></a><code><span class="keyword">val </span>invariants : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> bool</code></dt><dt class="spec value" id="val-is_empty"><a href="#val-is_empty" class="anchor"></a><code><span class="keyword">val </span>is_empty : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> bool</code></dt><dt class="spec value" id="val-length"><a href="#val-length" class="anchor"></a><code><span class="keyword">val </span>length : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> int</code></dt><dt class="spec value" id="val-add"><a href="#val-add" class="anchor"></a><code><span class="keyword">val </span>add : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> key:<a href="Key/index.html#type-t">Key.t</a> <span>-></span> data:<span class="type-var">'a</span> <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a> Base__.Map_intf.Or_duplicate.t</code></dt><dt class="spec value" id="val-add_exn"><a href="#val-add_exn" class="anchor"></a><code><span class="keyword">val </span>add_exn : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> key:<a href="Key/index.html#type-t">Key.t</a> <span>-></span> data:<span class="type-var">'a</span> <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-set"><a href="#val-set" class="anchor"></a><code><span class="keyword">val </span>set : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> key:<a href="Key/index.html#type-t">Key.t</a> <span>-></span> data:<span class="type-var">'a</span> <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-add_multi"><a href="#val-add_multi" class="anchor"></a><code><span class="keyword">val </span>add_multi : <span class="type-var">'a</span> list <a href="index.html#type-t">t</a> <span>-></span> key:<a href="Key/index.html#type-t">Key.t</a> <span>-></span> data:<span class="type-var">'a</span> <span>-></span> <span class="type-var">'a</span> list <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-remove_multi"><a href="#val-remove_multi" class="anchor"></a><code><span class="keyword">val </span>remove_multi : <span class="type-var">'a</span> list <a href="index.html#type-t">t</a> <span>-></span> <a href="Key/index.html#type-t">Key.t</a> <span>-></span> <span class="type-var">'a</span> list <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-find_multi"><a href="#val-find_multi" class="anchor"></a><code><span class="keyword">val </span>find_multi : <span class="type-var">'a</span> list <a href="index.html#type-t">t</a> <span>-></span> <a href="Key/index.html#type-t">Key.t</a> <span>-></span> <span class="type-var">'a</span> list</code></dt><dt class="spec value" id="val-change"><a href="#val-change" class="anchor"></a><code><span class="keyword">val </span>change : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <a href="Key/index.html#type-t">Key.t</a> <span>-></span> f:(<span class="type-var">'a</span> option <span>-></span> <span class="type-var">'a</span> option) <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-update"><a href="#val-update" class="anchor"></a><code><span class="keyword">val </span>update : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <a href="Key/index.html#type-t">Key.t</a> <span>-></span> f:(<span class="type-var">'a</span> option <span>-></span> <span class="type-var">'a</span>) <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-find"><a href="#val-find" class="anchor"></a><code><span class="keyword">val </span>find : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <a href="Key/index.html#type-t">Key.t</a> <span>-></span> <span class="type-var">'a</span> option</code></dt><dt class="spec value" id="val-find_exn"><a href="#val-find_exn" class="anchor"></a><code><span class="keyword">val </span>find_exn : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <a href="Key/index.html#type-t">Key.t</a> <span>-></span> <span class="type-var">'a</span></code></dt><dt class="spec value" id="val-remove"><a href="#val-remove" class="anchor"></a><code><span class="keyword">val </span>remove : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <a href="Key/index.html#type-t">Key.t</a> <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-mem"><a href="#val-mem" class="anchor"></a><code><span class="keyword">val </span>mem : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <a href="Key/index.html#type-t">Key.t</a> <span>-></span> bool</code></dt><dt class="spec value" id="val-iter_keys"><a href="#val-iter_keys" class="anchor"></a><code><span class="keyword">val </span>iter_keys : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(<a href="Key/index.html#type-t">Key.t</a> <span>-></span> unit) <span>-></span> unit</code></dt><dt class="spec value" id="val-iter"><a href="#val-iter" class="anchor"></a><code><span class="keyword">val </span>iter : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(<span class="type-var">'a</span> <span>-></span> unit) <span>-></span> unit</code></dt><dt class="spec value" id="val-iteri"><a href="#val-iteri" class="anchor"></a><code><span class="keyword">val </span>iteri : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(key:<a href="Key/index.html#type-t">Key.t</a> <span>-></span> data:<span class="type-var">'a</span> <span>-></span> unit) <span>-></span> unit</code></dt><dt class="spec value" id="val-iter2"><a href="#val-iter2" class="anchor"></a><code><span class="keyword">val </span>iter2 : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <span class="type-var">'b</span> <a href="index.html#type-t">t</a> <span>-></span> f:(key:<a href="Key/index.html#type-t">Key.t</a> <span>-></span> data:[ `Both of <span class="type-var">'a</span><span class="keyword"> * </span><span class="type-var">'b</span><span class="keyword"> | </span>`Left of <span class="type-var">'a</span><span class="keyword"> | </span>`Right of <span class="type-var">'b</span> ] <span>-></span> unit) <span>-></span> unit</code></dt><dt class="spec value" id="val-map"><a href="#val-map" class="anchor"></a><code><span class="keyword">val </span>map : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(<span class="type-var">'a</span> <span>-></span> <span class="type-var">'b</span>) <span>-></span> <span class="type-var">'b</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-mapi"><a href="#val-mapi" class="anchor"></a><code><span class="keyword">val </span>mapi : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(key:<a href="Key/index.html#type-t">Key.t</a> <span>-></span> data:<span class="type-var">'a</span> <span>-></span> <span class="type-var">'b</span>) <span>-></span> <span class="type-var">'b</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-fold"><a href="#val-fold" class="anchor"></a><code><span class="keyword">val </span>fold : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> init:<span class="type-var">'b</span> <span>-></span> f:(key:<a href="Key/index.html#type-t">Key.t</a> <span>-></span> data:<span class="type-var">'a</span> <span>-></span> <span class="type-var">'b</span> <span>-></span> <span class="type-var">'b</span>) <span>-></span> <span class="type-var">'b</span></code></dt><dt class="spec value" id="val-fold_right"><a href="#val-fold_right" class="anchor"></a><code><span class="keyword">val </span>fold_right : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> init:<span class="type-var">'b</span> <span>-></span> f:(key:<a href="Key/index.html#type-t">Key.t</a> <span>-></span> data:<span class="type-var">'a</span> <span>-></span> <span class="type-var">'b</span> <span>-></span> <span class="type-var">'b</span>) <span>-></span> <span class="type-var">'b</span></code></dt><dt class="spec value" id="val-fold2"><a href="#val-fold2" class="anchor"></a><code><span class="keyword">val </span>fold2 : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <span class="type-var">'b</span> <a href="index.html#type-t">t</a> <span>-></span> init:<span class="type-var">'c</span> <span>-></span> f:(key:<a href="Key/index.html#type-t">Key.t</a> <span>-></span> data:[ `Both of <span class="type-var">'a</span><span class="keyword"> * </span><span class="type-var">'b</span><span class="keyword"> | </span>`Left of <span class="type-var">'a</span><span class="keyword"> | </span>`Right of <span class="type-var">'b</span> ] <span>-></span> <span class="type-var">'c</span> <span>-></span> <span class="type-var">'c</span>) <span>-></span> <span class="type-var">'c</span></code></dt><dt class="spec value" id="val-filter_keys"><a href="#val-filter_keys" class="anchor"></a><code><span class="keyword">val </span>filter_keys : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(<a href="Key/index.html#type-t">Key.t</a> <span>-></span> bool) <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-filter"><a href="#val-filter" class="anchor"></a><code><span class="keyword">val </span>filter : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(<span class="type-var">'a</span> <span>-></span> bool) <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-filteri"><a href="#val-filteri" class="anchor"></a><code><span class="keyword">val </span>filteri : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(key:<a href="Key/index.html#type-t">Key.t</a> <span>-></span> data:<span class="type-var">'a</span> <span>-></span> bool) <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-filter_map"><a href="#val-filter_map" class="anchor"></a><code><span class="keyword">val </span>filter_map : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(<span class="type-var">'a</span> <span>-></span> <span class="type-var">'b</span> option) <span>-></span> <span class="type-var">'b</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-filter_mapi"><a href="#val-filter_mapi" class="anchor"></a><code><span class="keyword">val </span>filter_mapi : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(key:<a href="Key/index.html#type-t">Key.t</a> <span>-></span> data:<span class="type-var">'a</span> <span>-></span> <span class="type-var">'b</span> option) <span>-></span> <span class="type-var">'b</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-partition_mapi"><a href="#val-partition_mapi" class="anchor"></a><code><span class="keyword">val </span>partition_mapi : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(key:<a href="Key/index.html#type-t">Key.t</a> <span>-></span> data:<span class="type-var">'a</span> <span>-></span> [ `Fst of <span class="type-var">'b</span><span class="keyword"> | </span>`Snd of <span class="type-var">'c</span> ]) <span>-></span> <span class="type-var">'b</span> <a href="index.html#type-t">t</a><span class="keyword"> * </span><span class="type-var">'c</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-partition_map"><a href="#val-partition_map" class="anchor"></a><code><span class="keyword">val </span>partition_map : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(<span class="type-var">'a</span> <span>-></span> [ `Fst of <span class="type-var">'b</span><span class="keyword"> | </span>`Snd of <span class="type-var">'c</span> ]) <span>-></span> <span class="type-var">'b</span> <a href="index.html#type-t">t</a><span class="keyword"> * </span><span class="type-var">'c</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-partitioni_tf"><a href="#val-partitioni_tf" class="anchor"></a><code><span class="keyword">val </span>partitioni_tf : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(key:<a href="Key/index.html#type-t">Key.t</a> <span>-></span> data:<span class="type-var">'a</span> <span>-></span> bool) <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a><span class="keyword"> * </span><span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-partition_tf"><a href="#val-partition_tf" class="anchor"></a><code><span class="keyword">val </span>partition_tf : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(<span class="type-var">'a</span> <span>-></span> bool) <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a><span class="keyword"> * </span><span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-compare_direct"><a href="#val-compare_direct" class="anchor"></a><code><span class="keyword">val </span>compare_direct : (<span class="type-var">'a</span> <span>-></span> <span class="type-var">'a</span> <span>-></span> int) <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> int</code></dt><dt class="spec value" id="val-equal"><a href="#val-equal" class="anchor"></a><code><span class="keyword">val </span>equal : (<span class="type-var">'a</span> <span>-></span> <span class="type-var">'a</span> <span>-></span> bool) <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> bool</code></dt><dt class="spec value" id="val-keys"><a href="#val-keys" class="anchor"></a><code><span class="keyword">val </span>keys : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <a href="Key/index.html#type-t">Key.t</a> list</code></dt><dt class="spec value" id="val-data"><a href="#val-data" class="anchor"></a><code><span class="keyword">val </span>data : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <span class="type-var">'a</span> list</code></dt><dt class="spec value" id="val-to_alist"><a href="#val-to_alist" class="anchor"></a><code><span class="keyword">val </span>to_alist : ?⁠key_order:[ `Decreasing<span class="keyword"> | </span>`Increasing ] <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> (<a href="Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span>) list</code></dt><dt class="spec value" id="val-validate"><a href="#val-validate" class="anchor"></a><code><span class="keyword">val </span>validate : name:(<a href="Key/index.html#type-t">Key.t</a> <span>-></span> string) <span>-></span> <span class="type-var">'a</span> Base__.Validate.check <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a> Base__.Validate.check</code></dt><dt class="spec value" id="val-merge"><a href="#val-merge" class="anchor"></a><code><span class="keyword">val </span>merge : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <span class="type-var">'b</span> <a href="index.html#type-t">t</a> <span>-></span> f:(key:<a href="Key/index.html#type-t">Key.t</a> <span>-></span> [ `Both of <span class="type-var">'a</span><span class="keyword"> * </span><span class="type-var">'b</span><span class="keyword"> | </span>`Left of <span class="type-var">'a</span><span class="keyword"> | </span>`Right of <span class="type-var">'b</span> ] <span>-></span> <span class="type-var">'c</span> option) <span>-></span> <span class="type-var">'c</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-symmetric_diff"><a href="#val-symmetric_diff" class="anchor"></a><code><span class="keyword">val </span>symmetric_diff : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> data_equal:(<span class="type-var">'a</span> <span>-></span> <span class="type-var">'a</span> <span>-></span> bool) <span>-></span> (<a href="Key/index.html#type-t">Key.t</a>, <span class="type-var">'a</span>) Base__.Map_intf.Symmetric_diff_element.t Base__.Sequence.t</code></dt><dt class="spec value" id="val-min_elt"><a href="#val-min_elt" class="anchor"></a><code><span class="keyword">val </span>min_elt : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> (<a href="Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span>) option</code></dt><dt class="spec value" id="val-min_elt_exn"><a href="#val-min_elt_exn" class="anchor"></a><code><span class="keyword">val </span>min_elt_exn : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <a href="Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span></code></dt><dt class="spec value" id="val-max_elt"><a href="#val-max_elt" class="anchor"></a><code><span class="keyword">val </span>max_elt : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> (<a href="Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span>) option</code></dt><dt class="spec value" id="val-max_elt_exn"><a href="#val-max_elt_exn" class="anchor"></a><code><span class="keyword">val </span>max_elt_exn : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <a href="Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span></code></dt><dt class="spec value" id="val-for_all"><a href="#val-for_all" class="anchor"></a><code><span class="keyword">val </span>for_all : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(<span class="type-var">'a</span> <span>-></span> bool) <span>-></span> bool</code></dt><dt class="spec value" id="val-for_alli"><a href="#val-for_alli" class="anchor"></a><code><span class="keyword">val </span>for_alli : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(key:<a href="Key/index.html#type-t">Key.t</a> <span>-></span> data:<span class="type-var">'a</span> <span>-></span> bool) <span>-></span> bool</code></dt><dt class="spec value" id="val-exists"><a href="#val-exists" class="anchor"></a><code><span class="keyword">val </span>exists : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(<span class="type-var">'a</span> <span>-></span> bool) <span>-></span> bool</code></dt><dt class="spec value" id="val-existsi"><a href="#val-existsi" class="anchor"></a><code><span class="keyword">val </span>existsi : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(key:<a href="Key/index.html#type-t">Key.t</a> <span>-></span> data:<span class="type-var">'a</span> <span>-></span> bool) <span>-></span> bool</code></dt><dt class="spec value" id="val-count"><a href="#val-count" class="anchor"></a><code><span class="keyword">val </span>count : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(<span class="type-var">'a</span> <span>-></span> bool) <span>-></span> int</code></dt><dt class="spec value" id="val-counti"><a href="#val-counti" class="anchor"></a><code><span class="keyword">val </span>counti : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> f:(key:<a href="Key/index.html#type-t">Key.t</a> <span>-></span> data:<span class="type-var">'a</span> <span>-></span> bool) <span>-></span> int</code></dt><dt class="spec value" id="val-split"><a href="#val-split" class="anchor"></a><code><span class="keyword">val </span>split : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <a href="Key/index.html#type-t">Key.t</a> <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a><span class="keyword"> * </span>(<a href="Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span>) option<span class="keyword"> * </span><span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-append"><a href="#val-append" class="anchor"></a><code><span class="keyword">val </span>append : lower_part:<span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> upper_part:<span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> [ `Ok of <span class="type-var">'a</span> <a href="index.html#type-t">t</a><span class="keyword"> | </span>`Overlapping_key_ranges ]</code></dt><dt class="spec value" id="val-subrange"><a href="#val-subrange" class="anchor"></a><code><span class="keyword">val </span>subrange : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> lower_bound:<a href="Key/index.html#type-t">Key.t</a> Base__.Maybe_bound.t <span>-></span> upper_bound:<a href="Key/index.html#type-t">Key.t</a> Base__.Maybe_bound.t <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-fold_range_inclusive"><a href="#val-fold_range_inclusive" class="anchor"></a><code><span class="keyword">val </span>fold_range_inclusive : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> min:<a href="Key/index.html#type-t">Key.t</a> <span>-></span> max:<a href="Key/index.html#type-t">Key.t</a> <span>-></span> init:<span class="type-var">'b</span> <span>-></span> f:(key:<a href="Key/index.html#type-t">Key.t</a> <span>-></span> data:<span class="type-var">'a</span> <span>-></span> <span class="type-var">'b</span> <span>-></span> <span class="type-var">'b</span>) <span>-></span> <span class="type-var">'b</span></code></dt><dt class="spec value" id="val-range_to_alist"><a href="#val-range_to_alist" class="anchor"></a><code><span class="keyword">val </span>range_to_alist : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> min:<a href="Key/index.html#type-t">Key.t</a> <span>-></span> max:<a href="Key/index.html#type-t">Key.t</a> <span>-></span> (<a href="Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span>) list</code></dt><dt class="spec value" id="val-closest_key"><a href="#val-closest_key" class="anchor"></a><code><span class="keyword">val </span>closest_key : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> [ `Greater_or_equal_to<span class="keyword"> | </span>`Greater_than<span class="keyword"> | </span>`Less_or_equal_to<span class="keyword"> | </span>`Less_than ] <span>-></span> <a href="Key/index.html#type-t">Key.t</a> <span>-></span> (<a href="Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span>) option</code></dt><dt class="spec value" id="val-nth"><a href="#val-nth" class="anchor"></a><code><span class="keyword">val </span>nth : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> int <span>-></span> (<a href="Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span>) option</code></dt><dt class="spec value" id="val-nth_exn"><a href="#val-nth_exn" class="anchor"></a><code><span class="keyword">val </span>nth_exn : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> int <span>-></span> <a href="Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span></code></dt><dt class="spec value" id="val-rank"><a href="#val-rank" class="anchor"></a><code><span class="keyword">val </span>rank : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <a href="Key/index.html#type-t">Key.t</a> <span>-></span> int option</code></dt><dt class="spec value" id="val-to_tree"><a href="#val-to_tree" class="anchor"></a><code><span class="keyword">val </span>to_tree : <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> <span class="type-var">'a</span> <a href="Tree/index.html#type-t">Tree.t</a></code></dt><dt class="spec value" id="val-to_sequence"><a href="#val-to_sequence" class="anchor"></a><code><span class="keyword">val </span>to_sequence : ?⁠order:[ `Decreasing_key<span class="keyword"> | </span>`Increasing_key ] <span>-></span> ?⁠keys_greater_or_equal_to:<a href="Key/index.html#type-t">Key.t</a> <span>-></span> ?⁠keys_less_or_equal_to:<a href="Key/index.html#type-t">Key.t</a> <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> (<a href="Key/index.html#type-t">Key.t</a><span class="keyword"> * </span><span class="type-var">'a</span>) Base__.Sequence.t</code></dt><dt class="spec value" id="val-obs"><a href="#val-obs" class="anchor"></a><code><span class="keyword">val </span>obs : <a href="Key/index.html#type-t">Key.t</a> Core_kernel__.Quickcheck.Observer.t <span>-></span> <span class="type-var">'v</span> Core_kernel__.Quickcheck.Observer.t <span>-></span> <span class="type-var">'v</span> <a href="index.html#type-t">t</a> Core_kernel__.Quickcheck.Observer.t</code></dt><dt class="spec value" id="val-shrinker"><a href="#val-shrinker" class="anchor"></a><code><span class="keyword">val </span>shrinker : <a href="Key/index.html#type-t">Key.t</a> Core_kernel__.Quickcheck.Shrinker.t <span>-></span> <span class="type-var">'v</span> Core_kernel__.Quickcheck.Shrinker.t <span>-></span> <span class="type-var">'v</span> <a href="index.html#type-t">t</a> Core_kernel__.Quickcheck.Shrinker.t</code></dt></dl><div class="spec module" id="module-Provide_of_sexp"><a href="#module-Provide_of_sexp" class="anchor"></a><code><span class="keyword">module </span><a href="Provide_of_sexp/index.html">Provide_of_sexp</a> : <span class="keyword">functor</span> (<a href="Provide_of_sexp/argument-1-Key/index.html">Key</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span>) <span>-></span> <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div><div class="spec module" id="module-Provide_bin_io"><a href="#module-Provide_bin_io" class="anchor"></a><code><span class="keyword">module </span><a href="Provide_bin_io/index.html">Provide_bin_io</a> : <span class="keyword">functor</span> (<a href="Provide_bin_io/argument-1-Key/index.html">Key</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span>) <span>-></span> <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div><div class="spec module" id="module-Provide_hash"><a href="#module-Provide_hash" class="anchor"></a><code><span class="keyword">module </span><a href="Provide_hash/index.html">Provide_hash</a> : <span class="keyword">functor</span> (<a href="Provide_hash/argument-1-Key/index.html">Key</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span>) <span>-></span> <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div><dl><dt class="spec value" id="val-t_of_sexp"><a href="#val-t_of_sexp" class="anchor"></a><code><span class="keyword">val </span>t_of_sexp : (Base__.Ppx_sexp_conv_lib.Sexp.t <span>-></span> <span class="type-var">'a</span>) <span>-></span> Base__.Ppx_sexp_conv_lib.Sexp.t <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-sexp_of_t"><a href="#val-sexp_of_t" class="anchor"></a><code><span class="keyword">val </span>sexp_of_t : (<span class="type-var">'a</span> <span>-></span> Base__.Ppx_sexp_conv_lib.Sexp.t) <span>-></span> <span class="type-var">'a</span> <a href="index.html#type-t">t</a> <span>-></span> Base__.Ppx_sexp_conv_lib.Sexp.t</code></dt></dl></div></body></html>
\ No newline at end of file |