deploy: f571d9e

ahrefs · Nov 20, 2024 · 09c54ef · 09c54ef
1 parent b10119f
commit 09c54ef
Show file tree

Hide file tree

Showing 6 changed files with 66 additions and 31 deletions.
diff --git a/dev/arrayjit/Arrayjit/Backend_impl/Device/index.html b/dev/arrayjit/Arrayjit/Backend_impl/Device/index.html
@@ -16,7 +16,7 @@
   <span><span class="type-var">'a</span> <span class="arrow">&#45;&gt;</span></span>
   <span><span class="label">ordinal</span>:<span class="xref-unresolved">Base</span>.int <span class="arrow">&#45;&gt;</span></span>
   <span><span>(<span class="type-var">'b</span>, <span class="type-var">'a</span>, <span class="type-var">'c</span>, <span class="type-var">'d</span>)</span> <a href="../../Backend_intf/index.html#type-device">Backend_intf.device</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-make_stream"><a href="#val-make_stream" class="anchor"></a><code><span><span class="keyword">val</span> make_stream : 
-  <span><span><span>(<span class="type-var">'a</span>, <span class="type-var">'b</span>, <span class="type-var">'c</span>, <span class="type-var">'d</span>)</span> <a href="../../Backend_intf/index.html#type-device">Backend_intf.device</a></span> <span class="arrow">&#45;&gt;</span></span>
+  <span><span><span>(<span class="type-var">'a</span>, <span class="type-var">'b</span>, <span class="type-var">'c</span>, <span class="type-var">'d</span>)</span> <a href="../../Backend_intf/index.html#type-device_ref">Backend_intf.device_ref</a></span> <span class="arrow">&#45;&gt;</span></span>
   <span><span class="type-var">'c</span> <span class="arrow">&#45;&gt;</span></span>
   <span><span class="label">stream_id</span>:<span class="xref-unresolved">Base</span>.int <span class="arrow">&#45;&gt;</span></span>
   <span><span>(<span class="type-var">'a</span>, <span class="type-var">'b</span>, <span class="type-var">'c</span>, <span class="type-var">'d</span>)</span> <a href="../../Backend_intf/index.html#type-stream">Backend_intf.stream</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-get_name"><a href="#val-get_name" class="anchor"></a><code><span><span class="keyword">val</span> get_name : <span><span><span>(<span class="type-var">'a</span>, <span class="type-var">'b</span>, <span class="type-var">'c</span>, <span class="type-var">'d</span>)</span> <a href="../../Backend_intf/index.html#type-stream">Backend_intf.stream</a></span> <span class="arrow">&#45;&gt;</span></span> string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-make_context"><a href="#val-make_context" class="anchor"></a><code><span><span class="keyword">val</span> make_context :