X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=extracted%2Fjoint_printer.ml;fp=extracted%2Fjoint_printer.ml;h=ce4472bffe7af225bfc846f04dc19b96aa35983d;hb=d549e01e37d9b10e96f60e64a1814f5a9208e283;hp=f463f2cc87f4a87e15bdb94964138964f1f8b887;hpb=b4da02b8856ccc723c707618038f6a5c3bf223e2;p=pkg-cerco%2Facc-trusted.git diff --git a/extracted/joint_printer.ml b/extracted/joint_printer.ml index f463f2c..ce4472b 100644 --- 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 :