update docs

MystenLabs · Jan 24, 2025 · dec3f3c · dec3f3c
1 parent 7ef1690
commit dec3f3c
Show file tree

Hide file tree

Showing 9 changed files with 106 additions and 93 deletions.
diff --git a/crates/sui-framework/docs/std/macros.md b/crates/sui-framework/docs/std/macros.md
@@ -40,7 +40,7 @@ This module holds shared implementation of macros used in <code>std</code>
 
 
 
-<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/macros.md#std_macros_num_max">num_max</a>($x: _, $y: _): _
+<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/macros.md#std_macros_num_max">num_max</a>&lt;$T&gt;($x: $T, $y: $T): $T
 </code></pre>
 
 
@@ -49,7 +49,7 @@ This module holds shared implementation of macros used in <code>std</code>
 <summary>Implementation</summary>
 
 
-<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/macros.md#std_macros_num_max">num_max</a>($x: _, $y: _): _ {
+<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/macros.md#std_macros_num_max">num_max</a>&lt;$T&gt;($x: $T, $y: $T): $T {
     <b>let</b> x = $x;
     <b>let</b> y = $y;
     <b>if</b> (x &gt; y) x
@@ -67,7 +67,7 @@ This module holds shared implementation of macros used in <code>std</code>
 
 
 
-<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/macros.md#std_macros_num_min">num_min</a>($x: _, $y: _): _
+<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/macros.md#std_macros_num_min">num_min</a>&lt;$T&gt;($x: $T, $y: $T): $T
 </code></pre>
 
 
@@ -76,7 +76,7 @@ This module holds shared implementation of macros used in <code>std</code>
 <summary>Implementation</summary>
 
 
-<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/macros.md#std_macros_num_min">num_min</a>($x: _, $y: _): _ {
+<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/macros.md#std_macros_num_min">num_min</a>&lt;$T&gt;($x: $T, $y: $T): $T {
     <b>let</b> x = $x;
     <b>let</b> y = $y;
     <b>if</b> (x &lt; y) x
@@ -94,7 +94,7 @@ This module holds shared implementation of macros used in <code>std</code>
 
 
 
-<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/macros.md#std_macros_num_diff">num_diff</a>($x: _, $y: _): _
+<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/macros.md#std_macros_num_diff">num_diff</a>&lt;$T&gt;($x: $T, $y: $T): $T
 </code></pre>
 
 
@@ -103,7 +103,7 @@ This module holds shared implementation of macros used in <code>std</code>
 <summary>Implementation</summary>
 
 
-<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/macros.md#std_macros_num_diff">num_diff</a>($x: _, $y: _): _ {
+<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/macros.md#std_macros_num_diff">num_diff</a>&lt;$T&gt;($x: $T, $y: $T): $T {
     <b>let</b> x = $x;
     <b>let</b> y = $y;
     <b>if</b> (x &gt; y) x - y
@@ -121,7 +121,7 @@ This module holds shared implementation of macros used in <code>std</code>
 
 
 
-<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/macros.md#std_macros_num_divide_and_round_up">num_divide_and_round_up</a>($x: _, $y: _): _
+<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/macros.md#std_macros_num_divide_and_round_up">num_divide_and_round_up</a>&lt;$T&gt;($x: $T, $y: $T): $T
 </code></pre>
 
 
@@ -130,7 +130,7 @@ This module holds shared implementation of macros used in <code>std</code>
 <summary>Implementation</summary>
 
 
-<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/macros.md#std_macros_num_divide_and_round_up">num_divide_and_round_up</a>($x: _, $y: _): _ {
+<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/macros.md#std_macros_num_divide_and_round_up">num_divide_and_round_up</a>&lt;$T&gt;($x: $T, $y: $T): $T {
     <b>let</b> x = $x;
     <b>let</b> y = $y;
     <b>if</b> (x % y == 0) x / y
@@ -255,7 +255,7 @@ This module holds shared implementation of macros used in <code>std</code>
 
 
 
-<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/macros.md#std_macros_range_do">range_do</a>($start: _, $stop: _, $f: |_| -&gt; ())
+<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/macros.md#std_macros_range_do">range_do</a>&lt;$T, $R: drop&gt;($start: $T, $stop: $T, $f: |$T| -&gt; $R)
 </code></pre>
 
 
@@ -264,7 +264,7 @@ This module holds shared implementation of macros used in <code>std</code>
 <summary>Implementation</summary>
 
 
-<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/macros.md#std_macros_range_do">range_do</a>($start: _, $stop: _, $f: |_|) {
+<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/macros.md#std_macros_range_do">range_do</a>&lt;$T, $R: drop&gt;($start: $T, $stop: $T, $f: |$T| -&gt; $R) {
     <b>let</b> <b>mut</b> i = $start;
     <b>let</b> stop = $stop;
     <b>while</b> (i &lt; stop) {
@@ -284,7 +284,7 @@ This module holds shared implementation of macros used in <code>std</code>
 
 
 
-<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/macros.md#std_macros_range_do_eq">range_do_eq</a>($start: _, $stop: _, $f: |_| -&gt; ())
+<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/macros.md#std_macros_range_do_eq">range_do_eq</a>&lt;$T, $R: drop&gt;($start: $T, $stop: $T, $f: |$T| -&gt; $R)
 </code></pre>
 
 
@@ -293,7 +293,7 @@ This module holds shared implementation of macros used in <code>std</code>
 <summary>Implementation</summary>
 
 
-<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/macros.md#std_macros_range_do_eq">range_do_eq</a>($start: _, $stop: _, $f: |_|) {
+<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/macros.md#std_macros_range_do_eq">range_do_eq</a>&lt;$T, $R: drop&gt;($start: $T, $stop: $T, $f: |$T| -&gt; $R) {
     <b>let</b> <b>mut</b> i = $start;
     <b>let</b> stop = $stop;
     // we check `i &gt;= stop` inside the <b>loop</b> instead of `i &lt;= stop` <b>as</b> `<b>while</b>` condition to avoid
@@ -319,7 +319,7 @@ This module holds shared implementation of macros used in <code>std</code>
 
 
 
-<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/macros.md#std_macros_do">do</a>($stop: _, $f: |_| -&gt; ())
+<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/macros.md#std_macros_do">do</a>&lt;$T, $R: drop&gt;($stop: $T, $f: |$T| -&gt; $R)
 </code></pre>
 
 
@@ -328,7 +328,7 @@ This module holds shared implementation of macros used in <code>std</code>
 <summary>Implementation</summary>
 
 
-<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/macros.md#std_macros_do">do</a>($stop: _, $f: |_|) {
+<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/macros.md#std_macros_do">do</a>&lt;$T, $R: drop&gt;($stop: $T, $f: |$T| -&gt; $R) {
     <a href="../std/macros.md#std_macros_range_do">range_do</a>!(0, $stop, $f)
 }
 </code></pre>
@@ -343,7 +343,7 @@ This module holds shared implementation of macros used in <code>std</code>
 
 
 
-<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/macros.md#std_macros_do_eq">do_eq</a>($stop: _, $f: |_| -&gt; ())
+<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/macros.md#std_macros_do_eq">do_eq</a>&lt;$T, $R: drop&gt;($stop: $T, $f: |$T| -&gt; $R)
 </code></pre>
 
 
@@ -352,7 +352,7 @@ This module holds shared implementation of macros used in <code>std</code>
 <summary>Implementation</summary>
 
 
-<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/macros.md#std_macros_do_eq">do_eq</a>($stop: _, $f: |_|) {
+<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/macros.md#std_macros_do_eq">do_eq</a>&lt;$T, $R: drop&gt;($stop: $T, $f: |$T| -&gt; $R) {
     <a href="../std/macros.md#std_macros_range_do_eq">range_do_eq</a>!(0, $stop, $f)
 }
 </code></pre>

diff --git a/crates/sui-framework/docs/std/option.md b/crates/sui-framework/docs/std/option.md
@@ -569,7 +569,7 @@ and an empty vector otherwise
 Destroy <code><a href="../std/option.md#std_option_Option">Option</a>&lt;T&gt;</code> and call the closure <code>f</code> on the value inside if it holds one.
 
 
-<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/option.md#std_option_destroy">destroy</a>&lt;$T&gt;($o: <a href="../std/option.md#std_option_Option">std::option::Option</a>&lt;$T&gt;, $f: |$T| -&gt; ())
+<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/option.md#std_option_destroy">destroy</a>&lt;$T, $R: drop&gt;($o: <a href="../std/option.md#std_option_Option">std::option::Option</a>&lt;$T&gt;, $f: |$T| -&gt; $R)
 </code></pre>
 
 
@@ -578,7 +578,7 @@ Destroy <code><a href="../std/option.md#std_option_Option">Option</a>&lt;T&gt;</
 <summary>Implementation</summary>
 
 
-<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/option.md#std_option_destroy">destroy</a>&lt;$T&gt;($o: <a href="../std/option.md#std_option_Option">Option</a>&lt;$T&gt;, $f: |$T|) {
+<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/option.md#std_option_destroy">destroy</a>&lt;$T, $R: drop&gt;($o: <a href="../std/option.md#std_option_Option">Option</a>&lt;$T&gt;, $f: |$T| -&gt; $R) {
     <b>let</b> o = $o;
     o.<a href="../std/option.md#std_option_do">do</a>!($f);
 }
@@ -595,7 +595,7 @@ Destroy <code><a href="../std/option.md#std_option_Option">Option</a>&lt;T&gt;</
 Destroy <code><a href="../std/option.md#std_option_Option">Option</a>&lt;T&gt;</code> and call the closure <code>f</code> on the value inside if it holds one.
 
 
-<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/option.md#std_option_do">do</a>&lt;$T&gt;($o: <a href="../std/option.md#std_option_Option">std::option::Option</a>&lt;$T&gt;, $f: |$T| -&gt; ())
+<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/option.md#std_option_do">do</a>&lt;$T, $R: drop&gt;($o: <a href="../std/option.md#std_option_Option">std::option::Option</a>&lt;$T&gt;, $f: |$T| -&gt; $R)
 </code></pre>
 
 
@@ -604,9 +604,9 @@ Destroy <code><a href="../std/option.md#std_option_Option">Option</a>&lt;T&gt;</
 <summary>Implementation</summary>
 
 
-<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/option.md#std_option_do">do</a>&lt;$T&gt;($o: <a href="../std/option.md#std_option_Option">Option</a>&lt;$T&gt;, $f: |$T|) {
+<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/option.md#std_option_do">do</a>&lt;$T, $R: drop&gt;($o: <a href="../std/option.md#std_option_Option">Option</a>&lt;$T&gt;, $f: |$T| -&gt; $R) {
     <b>let</b> o = $o;
-    <b>if</b> (o.<a href="../std/option.md#std_option_is_some">is_some</a>()) $f(o.<a href="../std/option.md#std_option_destroy_some">destroy_some</a>())
+    <b>if</b> (o.<a href="../std/option.md#std_option_is_some">is_some</a>()) { $f(o.<a href="../std/option.md#std_option_destroy_some">destroy_some</a>()); }
     <b>else</b> o.<a href="../std/option.md#std_option_destroy_none">destroy_none</a>()
 }
 </code></pre>
@@ -622,7 +622,7 @@ Destroy <code><a href="../std/option.md#std_option_Option">Option</a>&lt;T&gt;</
 Execute a closure on the value inside <code>t</code> if it holds one.
 
 
-<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/option.md#std_option_do_ref">do_ref</a>&lt;$T&gt;($o: &<a href="../std/option.md#std_option_Option">std::option::Option</a>&lt;$T&gt;, $f: |&$T| -&gt; ())
+<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/option.md#std_option_do_ref">do_ref</a>&lt;$T, $R: drop&gt;($o: &<a href="../std/option.md#std_option_Option">std::option::Option</a>&lt;$T&gt;, $f: |&$T| -&gt; $R)
 </code></pre>
 
 
@@ -631,9 +631,9 @@ Execute a closure on the value inside <code>t</code> if it holds one.
 <summary>Implementation</summary>
 
 
-<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/option.md#std_option_do_ref">do_ref</a>&lt;$T&gt;($o: &<a href="../std/option.md#std_option_Option">Option</a>&lt;$T&gt;, $f: |&$T|) {
+<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/option.md#std_option_do_ref">do_ref</a>&lt;$T, $R: drop&gt;($o: &<a href="../std/option.md#std_option_Option">Option</a>&lt;$T&gt;, $f: |&$T| -&gt; $R) {
     <b>let</b> o = $o;
-    <b>if</b> (o.<a href="../std/option.md#std_option_is_some">is_some</a>()) $f(o.<a href="../std/option.md#std_option_borrow">borrow</a>());
+    <b>if</b> (o.<a href="../std/option.md#std_option_is_some">is_some</a>()) { $f(o.<a href="../std/option.md#std_option_borrow">borrow</a>()); }
 }
 </code></pre>
 
@@ -648,7 +648,7 @@ Execute a closure on the value inside <code>t</code> if it holds one.
 Execute a closure on the mutable reference to the value inside <code>t</code> if it holds one.
 
 
-<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/option.md#std_option_do_mut">do_mut</a>&lt;$T&gt;($o: &<b>mut</b> <a href="../std/option.md#std_option_Option">std::option::Option</a>&lt;$T&gt;, $f: |&<b>mut</b> $T| -&gt; ())
+<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/option.md#std_option_do_mut">do_mut</a>&lt;$T, $R: drop&gt;($o: &<b>mut</b> <a href="../std/option.md#std_option_Option">std::option::Option</a>&lt;$T&gt;, $f: |&<b>mut</b> $T| -&gt; $R)
 </code></pre>
 
 
@@ -657,9 +657,9 @@ Execute a closure on the mutable reference to the value inside <code>t</code> if
 <summary>Implementation</summary>
 
 
-<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/option.md#std_option_do_mut">do_mut</a>&lt;$T&gt;($o: &<b>mut</b> <a href="../std/option.md#std_option_Option">Option</a>&lt;$T&gt;, $f: |&<b>mut</b> $T|) {
+<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/option.md#std_option_do_mut">do_mut</a>&lt;$T, $R: drop&gt;($o: &<b>mut</b> <a href="../std/option.md#std_option_Option">Option</a>&lt;$T&gt;, $f: |&<b>mut</b> $T| -&gt; $R) {
     <b>let</b> o = $o;
-    <b>if</b> (o.<a href="../std/option.md#std_option_is_some">is_some</a>()) $f(o.<a href="../std/option.md#std_option_borrow_mut">borrow_mut</a>());
+    <b>if</b> (o.<a href="../std/option.md#std_option_is_some">is_some</a>()) { $f(o.<a href="../std/option.md#std_option_borrow_mut">borrow_mut</a>()); }
 }
 </code></pre>
 

diff --git a/crates/sui-framework/docs/std/u128.md b/crates/sui-framework/docs/std/u128.md
@@ -387,7 +387,7 @@ Maximum value for a <code><a href="../std/u128.md#std_u128">u128</a></code>
 Loops applying <code>$f</code> to each number from <code>$start</code> to <code>$stop</code> (exclusive)
 
 
-<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/u128.md#std_u128_range_do">range_do</a>($start: <a href="../std/u128.md#std_u128">u128</a>, $stop: <a href="../std/u128.md#std_u128">u128</a>, $f: |<a href="../std/u128.md#std_u128">u128</a>| -&gt; ())
+<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/u128.md#std_u128_range_do">range_do</a>&lt;$R: drop&gt;($start: <a href="../std/u128.md#std_u128">u128</a>, $stop: <a href="../std/u128.md#std_u128">u128</a>, $f: |<a href="../std/u128.md#std_u128">u128</a>| -&gt; $R)
 </code></pre>
 
 
@@ -396,7 +396,7 @@ Loops applying <code>$f</code> to each number from <code>$start</code> to <code>
 <summary>Implementation</summary>
 
 
-<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/u128.md#std_u128_range_do">range_do</a>($start: <a href="../std/u128.md#std_u128">u128</a>, $stop: <a href="../std/u128.md#std_u128">u128</a>, $f: |<a href="../std/u128.md#std_u128">u128</a>|) {
+<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/u128.md#std_u128_range_do">range_do</a>&lt;$R: drop&gt;($start: <a href="../std/u128.md#std_u128">u128</a>, $stop: <a href="../std/u128.md#std_u128">u128</a>, $f: |<a href="../std/u128.md#std_u128">u128</a>| -&gt; $R) {
     <a href="../std/macros.md#std_macros_range_do">std::macros::range_do</a>!($start, $stop, $f)
 }
 </code></pre>
@@ -412,7 +412,7 @@ Loops applying <code>$f</code> to each number from <code>$start</code> to <code>
 Loops applying <code>$f</code> to each number from <code>$start</code> to <code>$stop</code> (inclusive)
 
 
-<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/u128.md#std_u128_range_do_eq">range_do_eq</a>($start: <a href="../std/u128.md#std_u128">u128</a>, $stop: <a href="../std/u128.md#std_u128">u128</a>, $f: |<a href="../std/u128.md#std_u128">u128</a>| -&gt; ())
+<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/u128.md#std_u128_range_do_eq">range_do_eq</a>&lt;$R: drop&gt;($start: <a href="../std/u128.md#std_u128">u128</a>, $stop: <a href="../std/u128.md#std_u128">u128</a>, $f: |<a href="../std/u128.md#std_u128">u128</a>| -&gt; $R)
 </code></pre>
 
 
@@ -421,7 +421,7 @@ Loops applying <code>$f</code> to each number from <code>$start</code> to <code>
 <summary>Implementation</summary>
 
 
-<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/u128.md#std_u128_range_do_eq">range_do_eq</a>($start: <a href="../std/u128.md#std_u128">u128</a>, $stop: <a href="../std/u128.md#std_u128">u128</a>, $f: |<a href="../std/u128.md#std_u128">u128</a>|) {
+<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/u128.md#std_u128_range_do_eq">range_do_eq</a>&lt;$R: drop&gt;($start: <a href="../std/u128.md#std_u128">u128</a>, $stop: <a href="../std/u128.md#std_u128">u128</a>, $f: |<a href="../std/u128.md#std_u128">u128</a>| -&gt; $R) {
     <a href="../std/macros.md#std_macros_range_do_eq">std::macros::range_do_eq</a>!($start, $stop, $f)
 }
 </code></pre>
@@ -437,7 +437,7 @@ Loops applying <code>$f</code> to each number from <code>$start</code> to <code>
 Loops applying <code>$f</code> to each number from <code>0</code> to <code>$stop</code> (exclusive)
 
 
-<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/u128.md#std_u128_do">do</a>($stop: <a href="../std/u128.md#std_u128">u128</a>, $f: |<a href="../std/u128.md#std_u128">u128</a>| -&gt; ())
+<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/u128.md#std_u128_do">do</a>&lt;$R: drop&gt;($stop: <a href="../std/u128.md#std_u128">u128</a>, $f: |<a href="../std/u128.md#std_u128">u128</a>| -&gt; $R)
 </code></pre>
 
 
@@ -446,7 +446,7 @@ Loops applying <code>$f</code> to each number from <code>0</code> to <code>$stop
 <summary>Implementation</summary>
 
 
-<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/u128.md#std_u128_do">do</a>($stop: <a href="../std/u128.md#std_u128">u128</a>, $f: |<a href="../std/u128.md#std_u128">u128</a>|) {
+<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/u128.md#std_u128_do">do</a>&lt;$R: drop&gt;($stop: <a href="../std/u128.md#std_u128">u128</a>, $f: |<a href="../std/u128.md#std_u128">u128</a>| -&gt; $R) {
     <a href="../std/macros.md#std_macros_do">std::macros::do</a>!($stop, $f)
 }
 </code></pre>
@@ -462,7 +462,7 @@ Loops applying <code>$f</code> to each number from <code>0</code> to <code>$stop
 Loops applying <code>$f</code> to each number from <code>0</code> to <code>$stop</code> (inclusive)
 
 
-<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/u128.md#std_u128_do_eq">do_eq</a>($stop: <a href="../std/u128.md#std_u128">u128</a>, $f: |<a href="../std/u128.md#std_u128">u128</a>| -&gt; ())
+<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/u128.md#std_u128_do_eq">do_eq</a>&lt;$R: drop&gt;($stop: <a href="../std/u128.md#std_u128">u128</a>, $f: |<a href="../std/u128.md#std_u128">u128</a>| -&gt; $R)
 </code></pre>
 
 
@@ -471,7 +471,7 @@ Loops applying <code>$f</code> to each number from <code>0</code> to <code>$stop
 <summary>Implementation</summary>
 
 
-<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/u128.md#std_u128_do_eq">do_eq</a>($stop: <a href="../std/u128.md#std_u128">u128</a>, $f: |<a href="../std/u128.md#std_u128">u128</a>|) {
+<pre><code><b>public</b> <b>macro</b> <b>fun</b> <a href="../std/u128.md#std_u128_do_eq">do_eq</a>&lt;$R: drop&gt;($stop: <a href="../std/u128.md#std_u128">u128</a>, $f: |<a href="../std/u128.md#std_u128">u128</a>| -&gt; $R) {
     <a href="../std/macros.md#std_macros_do_eq">std::macros::do_eq</a>!($stop, $f)
 }
 </code></pre>