Rebuild docs

OpShin · Jan 9, 2024 · 867b24a · 867b24a
1 parent 99dcb69
commit 867b24a
Showing 1 changed file with 12 additions and 12 deletions.
diff --git a/docs/opshin/types.html b/docs/opshin/types.html
@@ -499,9 +499,9 @@ <h1 class="title">Module <code>opshin.types</code></h1>
             return OLambda(
                 [&#34;self&#34;],
                 transform_ext_params_map(attr_typ)(
-                    plt.NthField(
+                    plt.ConstantNthField(
                         OVar(&#34;self&#34;),
-                        plt.Integer(pos),
+                        pos,
                     ),
                 ),
             )
@@ -579,7 +579,7 @@ <h1 class="title">Module <code>opshin.types</code></h1>
                     plt.Apply(
                         field_type.stringify(recursive=True),
                         transform_ext_params_map(field_type)(
-                            plt.NthField(OVar(&#34;self&#34;), plt.Integer(pos))
+                            plt.ConstantNthField(OVar(&#34;self&#34;), pos)
                         ),
                     ),
                     map_fields,
@@ -590,7 +590,7 @@ <h1 class="title">Module <code>opshin.types</code></h1>
                 plt.Apply(
                     self.record.fields[0][1].stringify(recursive=True),
                     transform_ext_params_map(self.record.fields[0][1])(
-                        plt.NthField(OVar(&#34;self&#34;), plt.Integer(pos))
+                        plt.ConstantNthField(OVar(&#34;self&#34;), pos)
                     ),
                 ),
                 map_fields,
@@ -7720,9 +7720,9 @@ <h3>Class variables</h3>
             return OLambda(
                 [&#34;self&#34;],
                 transform_ext_params_map(attr_typ)(
-                    plt.NthField(
+                    plt.ConstantNthField(
                         OVar(&#34;self&#34;),
-                        plt.Integer(pos),
+                        pos,
                     ),
                 ),
             )
@@ -7800,7 +7800,7 @@ <h3>Class variables</h3>
                     plt.Apply(
                         field_type.stringify(recursive=True),
                         transform_ext_params_map(field_type)(
-                            plt.NthField(OVar(&#34;self&#34;), plt.Integer(pos))
+                            plt.ConstantNthField(OVar(&#34;self&#34;), pos)
                         ),
                     ),
                     map_fields,
@@ -7811,7 +7811,7 @@ <h3>Class variables</h3>
                 plt.Apply(
                     self.record.fields[0][1].stringify(recursive=True),
                     transform_ext_params_map(self.record.fields[0][1])(
-                        plt.NthField(OVar(&#34;self&#34;), plt.Integer(pos))
+                        plt.ConstantNthField(OVar(&#34;self&#34;), pos)
                     ),
                 ),
                 map_fields,
@@ -7891,9 +7891,9 @@ <h3>Methods</h3>
         return OLambda(
             [&#34;self&#34;],
             transform_ext_params_map(attr_typ)(
-                plt.NthField(
+                plt.ConstantNthField(
                     OVar(&#34;self&#34;),
-                    plt.Integer(pos),
+                    pos,
                 ),
             ),
         )
@@ -8132,7 +8132,7 @@ <h3>Methods</h3>
                 plt.Apply(
                     field_type.stringify(recursive=True),
                     transform_ext_params_map(field_type)(
-                        plt.NthField(OVar(&#34;self&#34;), plt.Integer(pos))
+                        plt.ConstantNthField(OVar(&#34;self&#34;), pos)
                     ),
                 ),
                 map_fields,
@@ -8143,7 +8143,7 @@ <h3>Methods</h3>
             plt.Apply(
                 self.record.fields[0][1].stringify(recursive=True),
                 transform_ext_params_map(self.record.fields[0][1])(
-                    plt.NthField(OVar(&#34;self&#34;), plt.Integer(pos))
+                    plt.ConstantNthField(OVar(&#34;self&#34;), pos)
                 ),
             ),
             map_fields,