increase list module to 30

o1-labs · Nov 23, 2024 · fe72221 · fe72221
1 parent 2c62a9a
commit fe72221
Showing 1 changed file with 20 additions and 0 deletions.
diff --git a/ocaml/lib/pickles_bindings.ml b/ocaml/lib/pickles_bindings.ml
@@ -542,6 +542,16 @@ let nat_modules_list : (module Pickles_types.Nat.Intf) list =
   ; (module N18)
   ; (module N19)
   ; (module N20)
+  ; (module N21)
+  ; (module N22)
+  ; (module N23)
+  ; (module N24)
+  ; (module N25)
+  ; (module N26)
+  ; (module N27)
+  ; (module N28)
+  ; (module N29)
+  ; (module N30)
   ]
 
 let nat_add_modules_list : (module Pickles_types.Nat.Add.Intf) list =
@@ -567,6 +577,16 @@ let nat_add_modules_list : (module Pickles_types.Nat.Add.Intf) list =
   ; (module N18)
   ; (module N19)
   ; (module N20)
+  ; (module N21)
+  ; (module N22)
+  ; (module N23)
+  ; (module N24)
+  ; (module N25)
+  ; (module N26)
+  ; (module N27)
+  ; (module N28)
+  ; (module N29)
+  ; (module N30)
   ]
 
 let nat_module (i : int) : (module Pickles_types.Nat.Intf) =