deploy: 7019e18

dev/arrayjit/Arrayjit/Assignments/index.html

@@ -3,9 +3,9 @@
   <span><span class="label">initialize_neutral</span>:<span class="xref-unresolved">Base</span>.bool <span class="arrow">&#45;&gt;</span></span>
   <span><span class="label">projections</span>:<a href="../Indexing/index.html#type-projections">Indexing.projections</a> <span class="arrow">&#45;&gt;</span></span>
   <span class="xref-unresolved">Base</span>.bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-context_nodes"><a href="#val-context_nodes" class="anchor"></a><code><span><span class="keyword">val</span> context_nodes : 
-  <span><span class="label">use_host_memory</span>:bool <span class="arrow">&#45;&gt;</span></span>
+  <span><span class="label">use_host_memory</span>:<span class="xref-unresolved">Base</span>.bool <span class="arrow">&#45;&gt;</span></span>
   <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span>
-  <span><span>(<a href="../Tnode/index.html#type-t">Tn.t</a>, <a href="../Tnode/index.html#type-comparator_witness">Tn.comparator_witness</a>)</span> <span class="xref-unresolved">Base</span>.Set.t</span></span></code></div><div class="spec-doc"><p>Returns materialized nodes in the sense of <a href="../Tnode/index.html#val-is_in_context_force"><code>Tnode.is_in_context_force</code></a>. NOTE: it ideally should be called after compilation.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-sequential"><a href="#val-sequential" class="anchor"></a><code><span><span class="keyword">val</span> sequential : <span><span><a href="#type-t">t</a> <span class="xref-unresolved">Base</span>.List.t</span> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-sequence"><a href="#val-sequence" class="anchor"></a><code><span><span class="keyword">val</span> sequence : <span><span><a href="#type-comp">comp</a> <span class="xref-unresolved">Base</span>.List.t</span> <span class="arrow">&#45;&gt;</span></span> <a href="#type-comp">comp</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-to_low_level"><a href="#val-to_low_level" class="anchor"></a><code><span><span class="keyword">val</span> to_low_level : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="../Low_level/index.html#type-t">Low_level.t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-flatten"><a href="#val-flatten" class="anchor"></a><code><span><span class="keyword">val</span> flatten : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="xref-unresolved">Base__List</span>.t</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-is_noop"><a href="#val-is_noop" class="anchor"></a><code><span><span class="keyword">val</span> is_noop : <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-get_ident_within_code"><a href="#val-get_ident_within_code" class="anchor"></a><code><span><span class="keyword">val</span> get_ident_within_code : <span><span class="optlabel">?no_dots</span>:bool <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="../Tnode/index.html#type-t">Tn.t</a> <span class="arrow">&#45;&gt;</span></span> <span class="xref-unresolved">Base</span>.String.t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-fprint_hum"><a href="#val-fprint_hum" class="anchor"></a><code><span><span class="keyword">val</span> fprint_hum : 
+  <span><span>(<a href="../Tnode/index.html#type-t">Tn.t</a>, <a href="../Tnode/index.html#type-comparator_witness">Tn.comparator_witness</a>)</span> <span class="xref-unresolved">Base</span>.Set.t</span></span></code></div><div class="spec-doc"><p>Returns materialized nodes in the sense of <a href="../Tnode/index.html#val-is_in_context"><code>Tnode.is_in_context</code></a>. NOTE: it should be called after compilation and ideally after linking with the relevant contexts; otherwise, it is an under-estimate.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-sequential"><a href="#val-sequential" class="anchor"></a><code><span><span class="keyword">val</span> sequential : <span><span><a href="#type-t">t</a> <span class="xref-unresolved">Base</span>.List.t</span> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-sequence"><a href="#val-sequence" class="anchor"></a><code><span><span class="keyword">val</span> sequence : <span><span><a href="#type-comp">comp</a> <span class="xref-unresolved">Base</span>.List.t</span> <span class="arrow">&#45;&gt;</span></span> <a href="#type-comp">comp</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-to_low_level"><a href="#val-to_low_level" class="anchor"></a><code><span><span class="keyword">val</span> to_low_level : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="../Low_level/index.html#type-t">Low_level.t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-flatten"><a href="#val-flatten" class="anchor"></a><code><span><span class="keyword">val</span> flatten : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="xref-unresolved">Base__List</span>.t</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-is_noop"><a href="#val-is_noop" class="anchor"></a><code><span><span class="keyword">val</span> is_noop : <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-get_ident_within_code"><a href="#val-get_ident_within_code" class="anchor"></a><code><span><span class="keyword">val</span> get_ident_within_code : <span><span class="optlabel">?no_dots</span>:bool <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="../Tnode/index.html#type-t">Tn.t</a> <span class="arrow">&#45;&gt;</span></span> <span class="xref-unresolved">Base</span>.String.t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-fprint_hum"><a href="#val-fprint_hum" class="anchor"></a><code><span><span class="keyword">val</span> fprint_hum : 
   <span><span class="optlabel">?name</span>:<span class="xref-unresolved">Base</span>.string <span class="arrow">&#45;&gt;</span></span>
   <span><span class="optlabel">?static_indices</span>:<span><a href="../Indexing/index.html#type-static_symbol">Indexing.static_symbol</a> <span class="xref-unresolved">Base</span>.list</span> <span class="arrow">&#45;&gt;</span></span>
   <span>unit <span class="arrow">&#45;&gt;</span></span>