From fe72221a04c54c982b175e1693bf527d6126da2f Mon Sep 17 00:00:00 2001 From: Florian Date: Sat, 23 Nov 2024 15:54:35 +0700 Subject: [PATCH] increase list module to 30 --- ocaml/lib/pickles_bindings.ml | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/ocaml/lib/pickles_bindings.ml b/ocaml/lib/pickles_bindings.ml index ddd45358..a0da344e 100644 --- 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) =