Merge tag 'upstream/0.2'

[pkg-cerco/acc-trusted.git] / extracted / joint_printer.ml

diff --git a/extracted/joint_printer.ml b/extracted/joint_printer.ml
index f463f2cc87f4a87e15bdb94964138964f1f8b887..ce4472bffe7af225bfc846f04dc19b96aa35983d 100644 (file)
--- a/extracted/joint_printer.ml
+++ b/extracted/joint_printer.ml
@@ -432,13 +432,13 @@ type 'string printing_pass_independent_params = { print_String : (String.string
     (BackEndOps.op2 -> 'a1) -> (Nat.nat -> 'a1) -> (Nat.nat ->
     BitVector.bitVector -> 'a1) -> 'a2) -> 'a1
     printing_pass_independent_params -> 'a2 **)
-let rec printing_pass_independent_params_rect_Type4 h_mk_printing_pass_independent_params x_263 =
+let rec printing_pass_independent_params_rect_Type4 h_mk_printing_pass_independent_params x_25506 =
   let { print_String = print_String0; print_keyword = print_keyword0;
     print_concat = print_concat0; print_empty = print_empty0; print_ident =
     print_ident0; print_costlabel = print_costlabel0; print_label =
     print_label0; print_OpAccs = print_OpAccs0; print_Op1 = print_Op3;
     print_Op2 = print_Op4; print_nat = print_nat0; print_bitvector =
-    print_bitvector0 } = x_263
+    print_bitvector0 } = x_25506
   in
   h_mk_printing_pass_independent_params print_String0 print_keyword0
     print_concat0 print_empty0 print_ident0 print_costlabel0 print_label0
@@ -451,13 +451,13 @@ let rec printing_pass_independent_params_rect_Type4 h_mk_printing_pass_independe
     (BackEndOps.op2 -> 'a1) -> (Nat.nat -> 'a1) -> (Nat.nat ->
     BitVector.bitVector -> 'a1) -> 'a2) -> 'a1
     printing_pass_independent_params -> 'a2 **)
-let rec printing_pass_independent_params_rect_Type5 h_mk_printing_pass_independent_params x_265 =
+let rec printing_pass_independent_params_rect_Type5 h_mk_printing_pass_independent_params x_25508 =
   let { print_String = print_String0; print_keyword = print_keyword0;
     print_concat = print_concat0; print_empty = print_empty0; print_ident =
     print_ident0; print_costlabel = print_costlabel0; print_label =
     print_label0; print_OpAccs = print_OpAccs0; print_Op1 = print_Op3;
     print_Op2 = print_Op4; print_nat = print_nat0; print_bitvector =
-    print_bitvector0 } = x_265
+    print_bitvector0 } = x_25508
   in
   h_mk_printing_pass_independent_params print_String0 print_keyword0
     print_concat0 print_empty0 print_ident0 print_costlabel0 print_label0
@@ -470,13 +470,13 @@ let rec printing_pass_independent_params_rect_Type5 h_mk_printing_pass_independe
     (BackEndOps.op2 -> 'a1) -> (Nat.nat -> 'a1) -> (Nat.nat ->
     BitVector.bitVector -> 'a1) -> 'a2) -> 'a1
     printing_pass_independent_params -> 'a2 **)
-let rec printing_pass_independent_params_rect_Type3 h_mk_printing_pass_independent_params x_267 =
+let rec printing_pass_independent_params_rect_Type3 h_mk_printing_pass_independent_params x_25510 =
   let { print_String = print_String0; print_keyword = print_keyword0;
     print_concat = print_concat0; print_empty = print_empty0; print_ident =
     print_ident0; print_costlabel = print_costlabel0; print_label =
     print_label0; print_OpAccs = print_OpAccs0; print_Op1 = print_Op3;
     print_Op2 = print_Op4; print_nat = print_nat0; print_bitvector =
-    print_bitvector0 } = x_267
+    print_bitvector0 } = x_25510
   in
   h_mk_printing_pass_independent_params print_String0 print_keyword0
     print_concat0 print_empty0 print_ident0 print_costlabel0 print_label0
@@ -489,13 +489,13 @@ let rec printing_pass_independent_params_rect_Type3 h_mk_printing_pass_independe
     (BackEndOps.op2 -> 'a1) -> (Nat.nat -> 'a1) -> (Nat.nat ->
     BitVector.bitVector -> 'a1) -> 'a2) -> 'a1
     printing_pass_independent_params -> 'a2 **)
-let rec printing_pass_independent_params_rect_Type2 h_mk_printing_pass_independent_params x_269 =
+let rec printing_pass_independent_params_rect_Type2 h_mk_printing_pass_independent_params x_25512 =
   let { print_String = print_String0; print_keyword = print_keyword0;
     print_concat = print_concat0; print_empty = print_empty0; print_ident =
     print_ident0; print_costlabel = print_costlabel0; print_label =
     print_label0; print_OpAccs = print_OpAccs0; print_Op1 = print_Op3;
     print_Op2 = print_Op4; print_nat = print_nat0; print_bitvector =
-    print_bitvector0 } = x_269
+    print_bitvector0 } = x_25512
   in
   h_mk_printing_pass_independent_params print_String0 print_keyword0
     print_concat0 print_empty0 print_ident0 print_costlabel0 print_label0
@@ -508,13 +508,13 @@ let rec printing_pass_independent_params_rect_Type2 h_mk_printing_pass_independe
     (BackEndOps.op2 -> 'a1) -> (Nat.nat -> 'a1) -> (Nat.nat ->
     BitVector.bitVector -> 'a1) -> 'a2) -> 'a1
     printing_pass_independent_params -> 'a2 **)
-let rec printing_pass_independent_params_rect_Type1 h_mk_printing_pass_independent_params x_271 =
+let rec printing_pass_independent_params_rect_Type1 h_mk_printing_pass_independent_params x_25514 =
   let { print_String = print_String0; print_keyword = print_keyword0;
     print_concat = print_concat0; print_empty = print_empty0; print_ident =
     print_ident0; print_costlabel = print_costlabel0; print_label =
     print_label0; print_OpAccs = print_OpAccs0; print_Op1 = print_Op3;
     print_Op2 = print_Op4; print_nat = print_nat0; print_bitvector =
-    print_bitvector0 } = x_271
+    print_bitvector0 } = x_25514
   in
   h_mk_printing_pass_independent_params print_String0 print_keyword0
     print_concat0 print_empty0 print_ident0 print_costlabel0 print_label0
@@ -527,13 +527,13 @@ let rec printing_pass_independent_params_rect_Type1 h_mk_printing_pass_independe
     (BackEndOps.op2 -> 'a1) -> (Nat.nat -> 'a1) -> (Nat.nat ->
     BitVector.bitVector -> 'a1) -> 'a2) -> 'a1
     printing_pass_independent_params -> 'a2 **)
-let rec printing_pass_independent_params_rect_Type0 h_mk_printing_pass_independent_params x_273 =
+let rec printing_pass_independent_params_rect_Type0 h_mk_printing_pass_independent_params x_25516 =
   let { print_String = print_String0; print_keyword = print_keyword0;
     print_concat = print_concat0; print_empty = print_empty0; print_ident =
     print_ident0; print_costlabel = print_costlabel0; print_label =
     print_label0; print_OpAccs = print_OpAccs0; print_Op1 = print_Op3;
     print_Op2 = print_Op4; print_nat = print_nat0; print_bitvector =
-    print_bitvector0 } = x_273
+    print_bitvector0 } = x_25516
   in
   h_mk_printing_pass_independent_params print_String0 print_keyword0
     print_concat0 print_empty0 print_ident0 print_costlabel0 print_label0
@@ -683,7 +683,7 @@ type 'string printing_params = { print_pass_ind : 'string
     (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1)
     -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
     printing_params -> 'a2 **)
-let rec printing_params_rect_Type4 p h_mk_printing_params x_301 =
+let rec printing_params_rect_Type4 p h_mk_printing_params x_25544 =
   let { print_pass_ind = print_pass_ind0; print_acc_a_reg = print_acc_a_reg0;
     print_acc_b_reg = print_acc_b_reg0; print_acc_a_arg = print_acc_a_arg0;
     print_acc_b_arg = print_acc_b_arg0; print_dpl_reg = print_dpl_reg0;
@@ -691,7 +691,7 @@ let rec printing_params_rect_Type4 p h_mk_printing_params x_301 =
     print_dph_arg = print_dph_arg0; print_snd_arg = print_snd_arg0;
     print_pair_move = print_pair_move0; print_call_args = print_call_args0;
     print_call_dest = print_call_dest0; print_ext_seq = print_ext_seq0 } =
-    x_301
+    x_25544
   in
   h_mk_printing_params print_pass_ind0 print_acc_a_reg0 print_acc_b_reg0
     print_acc_a_arg0 print_acc_b_arg0 print_dpl_reg0 print_dph_reg0
@@ -704,7 +704,7 @@ let rec printing_params_rect_Type4 p h_mk_printing_params x_301 =
     (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1)
     -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
     printing_params -> 'a2 **)
-let rec printing_params_rect_Type5 p h_mk_printing_params x_303 =
+let rec printing_params_rect_Type5 p h_mk_printing_params x_25546 =
   let { print_pass_ind = print_pass_ind0; print_acc_a_reg = print_acc_a_reg0;
     print_acc_b_reg = print_acc_b_reg0; print_acc_a_arg = print_acc_a_arg0;
     print_acc_b_arg = print_acc_b_arg0; print_dpl_reg = print_dpl_reg0;
@@ -712,7 +712,7 @@ let rec printing_params_rect_Type5 p h_mk_printing_params x_303 =
     print_dph_arg = print_dph_arg0; print_snd_arg = print_snd_arg0;
     print_pair_move = print_pair_move0; print_call_args = print_call_args0;
     print_call_dest = print_call_dest0; print_ext_seq = print_ext_seq0 } =
-    x_303
+    x_25546
   in
   h_mk_printing_params print_pass_ind0 print_acc_a_reg0 print_acc_b_reg0
     print_acc_a_arg0 print_acc_b_arg0 print_dpl_reg0 print_dph_reg0
@@ -725,7 +725,7 @@ let rec printing_params_rect_Type5 p h_mk_printing_params x_303 =
     (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1)
     -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
     printing_params -> 'a2 **)
-let rec printing_params_rect_Type3 p h_mk_printing_params x_305 =
+let rec printing_params_rect_Type3 p h_mk_printing_params x_25548 =
   let { print_pass_ind = print_pass_ind0; print_acc_a_reg = print_acc_a_reg0;
     print_acc_b_reg = print_acc_b_reg0; print_acc_a_arg = print_acc_a_arg0;
     print_acc_b_arg = print_acc_b_arg0; print_dpl_reg = print_dpl_reg0;
@@ -733,7 +733,7 @@ let rec printing_params_rect_Type3 p h_mk_printing_params x_305 =
     print_dph_arg = print_dph_arg0; print_snd_arg = print_snd_arg0;
     print_pair_move = print_pair_move0; print_call_args = print_call_args0;
     print_call_dest = print_call_dest0; print_ext_seq = print_ext_seq0 } =
-    x_305
+    x_25548
   in
   h_mk_printing_params print_pass_ind0 print_acc_a_reg0 print_acc_b_reg0
     print_acc_a_arg0 print_acc_b_arg0 print_dpl_reg0 print_dph_reg0
@@ -746,7 +746,7 @@ let rec printing_params_rect_Type3 p h_mk_printing_params x_305 =
     (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1)
     -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
     printing_params -> 'a2 **)
-let rec printing_params_rect_Type2 p h_mk_printing_params x_307 =
+let rec printing_params_rect_Type2 p h_mk_printing_params x_25550 =
   let { print_pass_ind = print_pass_ind0; print_acc_a_reg = print_acc_a_reg0;
     print_acc_b_reg = print_acc_b_reg0; print_acc_a_arg = print_acc_a_arg0;
     print_acc_b_arg = print_acc_b_arg0; print_dpl_reg = print_dpl_reg0;
@@ -754,7 +754,7 @@ let rec printing_params_rect_Type2 p h_mk_printing_params x_307 =
     print_dph_arg = print_dph_arg0; print_snd_arg = print_snd_arg0;
     print_pair_move = print_pair_move0; print_call_args = print_call_args0;
     print_call_dest = print_call_dest0; print_ext_seq = print_ext_seq0 } =
-    x_307
+    x_25550
   in
   h_mk_printing_params print_pass_ind0 print_acc_a_reg0 print_acc_b_reg0
     print_acc_a_arg0 print_acc_b_arg0 print_dpl_reg0 print_dph_reg0
@@ -767,7 +767,7 @@ let rec printing_params_rect_Type2 p h_mk_printing_params x_307 =
     (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1)
     -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
     printing_params -> 'a2 **)
-let rec printing_params_rect_Type1 p h_mk_printing_params x_309 =
+let rec printing_params_rect_Type1 p h_mk_printing_params x_25552 =
   let { print_pass_ind = print_pass_ind0; print_acc_a_reg = print_acc_a_reg0;
     print_acc_b_reg = print_acc_b_reg0; print_acc_a_arg = print_acc_a_arg0;
     print_acc_b_arg = print_acc_b_arg0; print_dpl_reg = print_dpl_reg0;
@@ -775,7 +775,7 @@ let rec printing_params_rect_Type1 p h_mk_printing_params x_309 =
     print_dph_arg = print_dph_arg0; print_snd_arg = print_snd_arg0;
     print_pair_move = print_pair_move0; print_call_args = print_call_args0;
     print_call_dest = print_call_dest0; print_ext_seq = print_ext_seq0 } =
-    x_309
+    x_25552
   in
   h_mk_printing_params print_pass_ind0 print_acc_a_reg0 print_acc_b_reg0
     print_acc_a_arg0 print_acc_b_arg0 print_dpl_reg0 print_dph_reg0
@@ -788,7 +788,7 @@ let rec printing_params_rect_Type1 p h_mk_printing_params x_309 =
     (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1)
     -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
     printing_params -> 'a2 **)
-let rec printing_params_rect_Type0 p h_mk_printing_params x_311 =
+let rec printing_params_rect_Type0 p h_mk_printing_params x_25554 =
   let { print_pass_ind = print_pass_ind0; print_acc_a_reg = print_acc_a_reg0;
     print_acc_b_reg = print_acc_b_reg0; print_acc_a_arg = print_acc_a_arg0;
     print_acc_b_arg = print_acc_b_arg0; print_dpl_reg = print_dpl_reg0;
@@ -796,7 +796,7 @@ let rec printing_params_rect_Type0 p h_mk_printing_params x_311 =
     print_dph_arg = print_dph_arg0; print_snd_arg = print_snd_arg0;
     print_pair_move = print_pair_move0; print_call_args = print_call_args0;
     print_call_dest = print_call_dest0; print_ext_seq = print_ext_seq0 } =
-    x_311
+    x_25554
   in
   h_mk_printing_params print_pass_ind0 print_acc_a_reg0 print_acc_b_reg0
     print_acc_a_arg0 print_acc_b_arg0 print_dpl_reg0 print_dph_reg0
@@ -969,54 +969,54 @@ type 'string print_serialization_params = { print_succ : (__ -> 'string);
 (** val print_serialization_params_rect_Type4 :
     Joint.params -> ((__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
     print_serialization_params -> 'a2 **)
-let rec print_serialization_params_rect_Type4 p h_mk_print_serialization_params x_340 =
+let rec print_serialization_params_rect_Type4 p h_mk_print_serialization_params x_25583 =
   let { print_succ = print_succ0; print_code_point = print_code_point0 } =
-    x_340
+    x_25583
   in
   h_mk_print_serialization_params print_succ0 print_code_point0
 
 (** val print_serialization_params_rect_Type5 :
     Joint.params -> ((__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
     print_serialization_params -> 'a2 **)
-let rec print_serialization_params_rect_Type5 p h_mk_print_serialization_params x_342 =
+let rec print_serialization_params_rect_Type5 p h_mk_print_serialization_params x_25585 =
   let { print_succ = print_succ0; print_code_point = print_code_point0 } =
-    x_342
+    x_25585
   in
   h_mk_print_serialization_params print_succ0 print_code_point0
 
 (** val print_serialization_params_rect_Type3 :
     Joint.params -> ((__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
     print_serialization_params -> 'a2 **)
-let rec print_serialization_params_rect_Type3 p h_mk_print_serialization_params x_344 =
+let rec print_serialization_params_rect_Type3 p h_mk_print_serialization_params x_25587 =
   let { print_succ = print_succ0; print_code_point = print_code_point0 } =
-    x_344
+    x_25587
   in
   h_mk_print_serialization_params print_succ0 print_code_point0
 
 (** val print_serialization_params_rect_Type2 :
     Joint.params -> ((__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
     print_serialization_params -> 'a2 **)
-let rec print_serialization_params_rect_Type2 p h_mk_print_serialization_params x_346 =
+let rec print_serialization_params_rect_Type2 p h_mk_print_serialization_params x_25589 =
   let { print_succ = print_succ0; print_code_point = print_code_point0 } =
-    x_346
+    x_25589
   in
   h_mk_print_serialization_params print_succ0 print_code_point0
 
 (** val print_serialization_params_rect_Type1 :
     Joint.params -> ((__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
     print_serialization_params -> 'a2 **)
-let rec print_serialization_params_rect_Type1 p h_mk_print_serialization_params x_348 =
+let rec print_serialization_params_rect_Type1 p h_mk_print_serialization_params x_25591 =
   let { print_succ = print_succ0; print_code_point = print_code_point0 } =
-    x_348
+    x_25591
   in
   h_mk_print_serialization_params print_succ0 print_code_point0
 
 (** val print_serialization_params_rect_Type0 :
     Joint.params -> ((__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
     print_serialization_params -> 'a2 **)
-let rec print_serialization_params_rect_Type0 p h_mk_print_serialization_params x_350 =
+let rec print_serialization_params_rect_Type0 p h_mk_print_serialization_params x_25593 =
   let { print_succ = print_succ0; print_code_point = print_code_point0 } =
-    x_350
+    x_25593
   in
   h_mk_print_serialization_params print_succ0 print_code_point0
 
@@ -1094,9 +1094,9 @@ type ('string, 'statementT) code_iteration_params = { cip_print_serialization_pa
     Joint.params -> AST.ident List.list -> ('a1 print_serialization_params ->
     (__ -> (__ -> 'a2 -> __ -> __) -> __ -> __ -> __ -> __) -> ('a2 -> 'a1)
     -> 'a3) -> ('a1, 'a2) code_iteration_params -> 'a3 **)
-let rec code_iteration_params_rect_Type4 p globals h_mk_code_iteration_params x_368 =
+let rec code_iteration_params_rect_Type4 p globals h_mk_code_iteration_params x_25611 =
   let { cip_print_serialization_params = cip_print_serialization_params0;
-    fold_code = fold_code0; print_statementT = print_statementT0 } = x_368
+    fold_code = fold_code0; print_statementT = print_statementT0 } = x_25611
   in
   h_mk_code_iteration_params cip_print_serialization_params0 fold_code0
     print_statementT0
@@ -1105,9 +1105,9 @@ let rec code_iteration_params_rect_Type4 p globals h_mk_code_iteration_params x_
     Joint.params -> AST.ident List.list -> ('a1 print_serialization_params ->
     (__ -> (__ -> 'a2 -> __ -> __) -> __ -> __ -> __ -> __) -> ('a2 -> 'a1)
     -> 'a3) -> ('a1, 'a2) code_iteration_params -> 'a3 **)
-let rec code_iteration_params_rect_Type5 p globals h_mk_code_iteration_params x_370 =
+let rec code_iteration_params_rect_Type5 p globals h_mk_code_iteration_params x_25613 =
   let { cip_print_serialization_params = cip_print_serialization_params0;
-    fold_code = fold_code0; print_statementT = print_statementT0 } = x_370
+    fold_code = fold_code0; print_statementT = print_statementT0 } = x_25613
   in
   h_mk_code_iteration_params cip_print_serialization_params0 fold_code0
     print_statementT0
@@ -1116,9 +1116,9 @@ let rec code_iteration_params_rect_Type5 p globals h_mk_code_iteration_params x_
     Joint.params -> AST.ident List.list -> ('a1 print_serialization_params ->
     (__ -> (__ -> 'a2 -> __ -> __) -> __ -> __ -> __ -> __) -> ('a2 -> 'a1)
     -> 'a3) -> ('a1, 'a2) code_iteration_params -> 'a3 **)
-let rec code_iteration_params_rect_Type3 p globals h_mk_code_iteration_params x_372 =
+let rec code_iteration_params_rect_Type3 p globals h_mk_code_iteration_params x_25615 =
   let { cip_print_serialization_params = cip_print_serialization_params0;
-    fold_code = fold_code0; print_statementT = print_statementT0 } = x_372
+    fold_code = fold_code0; print_statementT = print_statementT0 } = x_25615
   in
   h_mk_code_iteration_params cip_print_serialization_params0 fold_code0
     print_statementT0
@@ -1127,9 +1127,9 @@ let rec code_iteration_params_rect_Type3 p globals h_mk_code_iteration_params x_
     Joint.params -> AST.ident List.list -> ('a1 print_serialization_params ->
     (__ -> (__ -> 'a2 -> __ -> __) -> __ -> __ -> __ -> __) -> ('a2 -> 'a1)
     -> 'a3) -> ('a1, 'a2) code_iteration_params -> 'a3 **)
-let rec code_iteration_params_rect_Type2 p globals h_mk_code_iteration_params x_374 =
+let rec code_iteration_params_rect_Type2 p globals h_mk_code_iteration_params x_25617 =
   let { cip_print_serialization_params = cip_print_serialization_params0;
-    fold_code = fold_code0; print_statementT = print_statementT0 } = x_374
+    fold_code = fold_code0; print_statementT = print_statementT0 } = x_25617
   in
   h_mk_code_iteration_params cip_print_serialization_params0 fold_code0
     print_statementT0
@@ -1138,9 +1138,9 @@ let rec code_iteration_params_rect_Type2 p globals h_mk_code_iteration_params x_
     Joint.params -> AST.ident List.list -> ('a1 print_serialization_params ->
     (__ -> (__ -> 'a2 -> __ -> __) -> __ -> __ -> __ -> __) -> ('a2 -> 'a1)
     -> 'a3) -> ('a1, 'a2) code_iteration_params -> 'a3 **)
-let rec code_iteration_params_rect_Type1 p globals h_mk_code_iteration_params x_376 =
+let rec code_iteration_params_rect_Type1 p globals h_mk_code_iteration_params x_25619 =
   let { cip_print_serialization_params = cip_print_serialization_params0;
-    fold_code = fold_code0; print_statementT = print_statementT0 } = x_376
+    fold_code = fold_code0; print_statementT = print_statementT0 } = x_25619
   in
   h_mk_code_iteration_params cip_print_serialization_params0 fold_code0
     print_statementT0
@@ -1149,9 +1149,9 @@ let rec code_iteration_params_rect_Type1 p globals h_mk_code_iteration_params x_
     Joint.params -> AST.ident List.list -> ('a1 print_serialization_params ->
     (__ -> (__ -> 'a2 -> __ -> __) -> __ -> __ -> __ -> __) -> ('a2 -> 'a1)
     -> 'a3) -> ('a1, 'a2) code_iteration_params -> 'a3 **)
-let rec code_iteration_params_rect_Type0 p globals h_mk_code_iteration_params x_378 =
+let rec code_iteration_params_rect_Type0 p globals h_mk_code_iteration_params x_25621 =
   let { cip_print_serialization_params = cip_print_serialization_params0;
-    fold_code = fold_code0; print_statementT = print_statementT0 } = x_378
+    fold_code = fold_code0; print_statementT = print_statementT0 } = x_25621
   in
   h_mk_code_iteration_params cip_print_serialization_params0 fold_code0
     print_statementT0
@@ -1165,11 +1165,11 @@ let rec cip_print_serialization_params p globals xxx =
 (** val fold_code0 :
     Joint.params -> AST.ident List.list -> ('a1, 'a2) code_iteration_params
     -> (__ -> 'a2 -> 'a3 -> 'a3) -> __ -> __ -> 'a3 -> 'a3 **)
-let rec fold_code0 p globals xxx x_393 x_394 x_395 x_396 =
+let rec fold_code0 p globals xxx x_25636 x_25637 x_25638 x_25639 =
   (let { cip_print_serialization_params = x; fold_code = yyy;
      print_statementT = x0 } = xxx
    in
-  Obj.magic yyy) __ x_393 x_394 x_395 x_396
+  Obj.magic yyy) __ x_25636 x_25637 x_25638 x_25639
 
 (** val print_statementT :
     Joint.params -> AST.ident List.list -> ('a1, 'a2) code_iteration_params
@@ -1246,8 +1246,8 @@ let rec visit_graph next f b n m = function
   (match pm_choose_with_pref m n with
    | Types.None -> b
    | Types.Some res ->
-     let { Types.fst = eta2; Types.snd = m' } = res in
-     let { Types.fst = pos; Types.snd = a } = eta2 in
+     let { Types.fst = eta32074; Types.snd = m' } = res in
+     let { Types.fst = pos; Types.snd = a } = eta32074 in
      visit_graph next f (f pos a b) (next a) m' y)
 
 (** val print_list :